Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
4dca13cd
Commit
4dca13cd
authored
Aug 10, 2020
by
POTTIER Francois
Browse files
Fix typo in manual.
parent
fafe3403
Changes
1
Hide whitespace changes
Inline
Side-by-side
doc/manual.tex
View file @
4dca13cd
...
@@ -4233,7 +4233,7 @@ that are passed to it.
...
@@ -4233,7 +4233,7 @@ that are passed to it.
\docskip
\docskip
One difficulty with
the
this approach is that the
\ocaml
compiler usually
One difficulty with this approach is that the
\ocaml
compiler usually
needs to consult a few
\texttt
{
.cm[iox]
}
files. Indeed, if the
\mly
file
needs to consult a few
\texttt
{
.cm[iox]
}
files. Indeed, if the
\mly
file
contains a reference to an external
\ocaml
module, say
\texttt
{
A
}
, then the
contains a reference to an external
\ocaml
module, say
\texttt
{
A
}
, then the
\ocaml
compiler typically needs to read one or more files named
\ocaml
compiler typically needs to read one or more files named
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment