Commit 6ce54c77 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Manual: add a couple internal hyperlinks.

parent 7ea0b7db
Pipeline #116433 passed with stages
in 24 seconds
......@@ -4137,7 +4137,7 @@ This material should be of interest only to authors of build systems
who wish to build support for \menhir into their system.
%
Ordinary users should skip this section and use a build system that knows
about \menhir, such as \dune (preferred) or \ocamlbuild.
about \menhir, such as \hyperlink{dune}{\dune} (preferred) or \ocamlbuild.
\subsection{\ocaml type inference and dependency analysis}
\label{sec:build:infer}
......@@ -4461,7 +4461,7 @@ time spent in the lexer and in the semantic actions.
This can a bit tricky. % understatement
If you must do this, see \sref{sec:build}.
It is recommended instead to use a build system
with built-in support for \menhir, such as \dune (preferred)
with built-in support for \menhir, such as \hyperlink{dune}{\dune} (preferred)
or \ocamlbuild.
\question{How do I use \menhir with \ocamlbuild?}
......@@ -4487,7 +4487,8 @@ use the rules provided in the file \distrib{demos/ocamlbuild/myocamlbuild.ml}.
% use .mlypack + _tags + myocamlbuild.ml. Not explained here,
% but \distrib{demos/ocamlbuild/calc-two} contains an example.
\question{How do I use \menhir with \dune?} Please use \dune version 1.4.0
\hypertarget{dune}{%
\question{How do I use \menhir with \dune?}} Please use \dune version 1.4.0
or newer, as it has appropriate built-in rules for Menhir parsers. In the
simplest scenario, where the parser resides in a single source
file \texttt{parser.mly}, the \texttt{dune-project} file should contain a
......
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