From d1e8067aaf50f47fd11a35740bb27f0d4efc47e6 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Mon, 11 Jul 2022 09:03:08 +0200 Subject: Fix use of old productions style in manual --- doc/manual.cli | 8 ++++---- 1 file 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: \ - := | | - := ('==' | '>' | '<' | '>=' | '<=') - := ('^' | '~') - := ('(' | '[') (')' | ']') + = | | + = ('==' | '>' | '<' | '>=' | '<=') + = ('^' | '~') + = ('(' | '[') (')' | ']') \ The shortcut operators can only be used with \l{b#module-version standard -- cgit v1.1