Saved and published documentation for release 20190924.

2f246ce5 · POTTIER Francois · 24b550ad · 2f246ce5 · 2f246ce5 · 2f246ce5
Commit 2f246ce5 authored Sep 24, 2019 by POTTIER Francois
--- a/releases/20190924/doc/manual.html
+++ b/releases/20190924/doc/manual.html
--- a/releases/20190924/doc/manual.pdf
+++ b/releases/20190924/doc/manual.pdf
--- a/releases/20190924/doc/manual001.png
+++ b/releases/20190924/doc/manual001.png
--- a/releases/20190924/doc/manual002.png
+++ b/releases/20190924/doc/manual002.png
--- a/releases/20190924/doc/manual003.png
+++ b/releases/20190924/doc/manual003.png
--- a/www/doc/manual.html
+++ b/www/doc/manual.html
@@ -58,13 +58,13 @@ font-size: 1rem;
 }
 </style>
 <title>Menhir Reference Manual 
-(version 20190626)
+(version 20190924)
 </title>
 </head>
 <body >
 <!--HEVEA command line is: hevea -fix manual.tex -->
 <!--CUT STYLE article--><!--CUT DEF section 1 --><table class="title"><tr><td style="padding:1ex"><h1 class="titlemain">Menhir Reference Manual<br>
-(version 20190626)</h1><h3 class="titlerest">François Pottier and Yann Régis-Gianas<br>
+(version 20190924)</h1><h3 class="titlerest">François Pottier and Yann Régis-Gianas<br>
 INRIA<br>
 <span style="font-family:monospace">{Francois.Pottier, Yann.Regis-Gianas}@inria.fr</span></h3></td></tr>
 </table><!--TOC section id="sec1" Contents-->
@@ -281,10 +281,8 @@ which is printed on the standard output channel.</p><p><span style="font-family:
 the grammar specification to be translated into a definition of the <span style="font-family:monospace">token</span> type, which is written to the files <span style="font-style:italic">basename</span><span style="font-family:monospace">.ml</span> and
 <span style="font-style:italic">basename</span><span style="font-family:monospace">.mli</span>. No code is generated. This is useful when
 a single set of tokens is to be shared between several parsers. The directory
-<a href="https://gitlab.inria.fr/fpottier/menhir/blob/master/demos/calc-two"><span style="font-family:monospace">demos/calc-two</span></a> contains a demo that illustrates the use of this switch.</p><p><span style="font-family:monospace">--raw-depend</span>.  See §<a href="#sec%3Abuild">14</a>.</p><p><span style="font-family:monospace">--stdlib</span> <span style="font-style:italic">directory</span>.  This switch controls the directory where
-the standard library (§<a href="#sec%3Alibrary">5.4</a>) is found. It takes precedence over
-both the installation-time directory and the directory that may be specified
-via the environment variable <code>$MENHIR_STDLIB</code>.</p><p><span style="font-family:monospace">--strict</span>.  This switch causes several warnings about the grammar
+<a href="https://gitlab.inria.fr/fpottier/menhir/blob/master/demos/calc-two"><span style="font-family:monospace">demos/calc-two</span></a> contains a demo that illustrates the use of this switch.</p><p><span style="font-family:monospace">--raw-depend</span>.  See §<a href="#sec%3Abuild">14</a>.</p><p><span style="font-family:monospace">--stdlib</span> <span style="font-style:italic">directory</span>.  This switch exists only for
+backwards compatibility and is ignored. It may be removed in the future.</p><p><span style="font-family:monospace">--strict</span>.  This switch causes several warnings about the grammar
 and about the automaton to be considered errors. This includes warnings about
 useless precedence declarations, non-terminal symbols that produce the empty
 language, unreachable non-terminal symbols, productions that are never
@@ -1130,13 +1128,7 @@ more elaborate notions. For instance, the following rule:
 causes <span style="font-style:italic">plist</span>(<span style="font-style:italic">X</span>) to recognize a list of <span style="font-style:italic">X</span>’s, where the empty
 list is represented by the empty string, and a non-empty list is delimited
 with parentheses and comma-separated.</p><p>The standard library is stored in a file named <a href="https://gitlab.inria.fr/fpottier/menhir/blob/master/src/standard.mly"><span style="font-family:monospace">standard.mly</span></a>, which is
-installed at the same time as Menhir. By default, Menhir attempts to find this
-file in the directory where this file was installed. This can be overridden by
-setting the environment variable
-<code>$MENHIR_STDLIB</code>. If defined, this variable should contain the path of
-the directory where <span style="font-family:monospace">standard.mly</span> is stored. (This path may
-end with a <span style="font-family:monospace">/</span> character.) This can be overridden also via the
-command line switch <span style="font-family:monospace">--stdlib</span>.
+embedded inside Menhir when it is built.
 The command line switch <span style="font-family:monospace">--no-stdlib</span> instructs Menhir to <em>not</em> load the
 standard library.</p><p>The meaning of the symbols defined in the standard library
 (Figure <a href="#fig%3Astandard">3</a>) should be clear in most cases. Yet, the

--- a/www/doc/manual.pdf
+++ b/www/doc/manual.pdf
--- a/www/doc/manual001.png
+++ b/www/doc/manual001.png
--- a/www/doc/manual002.png
+++ b/www/doc/manual002.png
--- a/www/doc/manual003.png
+++ b/www/doc/manual003.png