Commit ed456c2b authored by POTTIER Francois's avatar POTTIER Francois

Document --echo-errors-concrete.

parent b35c24c4
......@@ -198,6 +198,7 @@
\newcommand{\ocompareerrors}{\oo{compare-errors}}
\newcommand{\oupdateerrors}{\oo{update-errors}}
\newcommand{\oechoerrors}{\oo{echo-errors}}
\newcommand{\oechoerrorsconcrete}{\oo{echo-errors-concrete}}
\newcommand{\omergeerrors}{\oo{merge-errors}}
% The .messages file format.
......
......@@ -173,6 +173,13 @@ read the \messages file \nt{filename} and to produce on the standard output
channel just the input sentences. (That is, all messages, blank lines, and
comments are filtered out.) For more information, see \sref{sec:errors:new}.
\docswitch{\oechoerrorsconcrete \nt{filename}} This switch causes \menhir to
read the \messages file \nt{filename} and to produce on the standard output
channel just the input sentences. Each sentence is followed with a comment of
the form \verb+## Concrete syntax: ...+ that shows this sentence in concrete
syntax. This comment is printed only if the user has defined an alias for
every token (\sref{sec:tokens}).
\docswitch{\oexplain} This switch causes conflict explanations to be
written to the file \nt{basename}\conflicts. See also \sref{sec:conflicts}.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment