From 989d0bd91ad1591ec822ad3333c12d201440e282 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Mon, 3 Apr 2017 16:29:27 +0100 Subject: [PATCH] s/option/field/ --- doc/manual.org | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/doc/manual.org b/doc/manual.org index 68ecc024..35fa2ff7 100644 --- a/doc/manual.org +++ b/doc/manual.org @@ -514,15 +514,16 @@ dependencies. See the [[User actions][actions section]] for more details. **** menhir -The basic form for defining menhir parsers (analogous to ocamlyacc): +The basic form for defining menhir parsers (analogous to ocamlyacc) is: #+begin_src scheme (menhir ((modules ( ...)))) #+end_src -Modular parsers (--base flag) can be defined by adding the =merge_into= option. -With this option, a single parser named =base_name= is generated. +Modular parsers can be defined by adding a =merge_into= field. This +correspond to the =--base= command line option of =menhir=. With this +option, a single parser named =base_name= is generated. #+begin_src scheme (menhir @@ -530,7 +531,7 @@ With this option, a single parser named =base_name= is generated. (modules ( ...)))) #+end_src -Extra flags can be passed to menhir using the =flags= option: +Extra flags can be passed to menhir using the =flags= flag: #+begin_src scheme (menhir