aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2022-07-11 09:03:08 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2022-07-11 09:03:08 +0200
commitd1e8067aaf50f47fd11a35740bb27f0d4efc47e6 (patch)
tree0c3d149db60b68d563dccca1ad59df0bd1989fe7
parentaba53e70ed4b9f2fd04d148a5b22d9c171170acf (diff)
Fix use of old productions style in manual
-rw-r--r--doc/manual.cli8
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/manual.cli b/doc/manual.cli
index c07fc21..ebaf9d8 100644
--- a/doc/manual.cli
+++ b/doc/manual.cli
@@ -246,10 +246,10 @@ operators, shortcut (to range) operators, or ranges and has the following
form:
\
-<version-constraint> := <comparison> | <shortcut> | <range>
-<comparison> := ('==' | '>' | '<' | '>=' | '<=') <version>
-<shortcut> := ('^' | '~') <version>
-<range> := ('(' | '[') <version> <version> (')' | ']')
+<version-constraint> = <comparison> | <shortcut> | <range>
+<comparison> = ('==' | '>' | '<' | '>=' | '<=') <version>
+<shortcut> = ('^' | '~') <version>
+<range> = ('(' | '[') <version> <version> (')' | ']')
\
The shortcut operators can only be used with \l{b#module-version standard