diff options
Diffstat (limited to 'ocamlbuild/manual/manual.tex')
| -rw-r--r-- | ocamlbuild/manual/manual.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ocamlbuild/manual/manual.tex b/ocamlbuild/manual/manual.tex index 1f31a0670..94c0e646a 100644 --- a/ocamlbuild/manual/manual.tex +++ b/ocamlbuild/manual/manual.tex @@ -549,8 +549,8 @@ main.byte stuff.docdir/index.html \end{verbatim} Requesting the target \texttt{foo.otarget} will then build every target -listed in the file \texttt{foo.itarget}. Blank lines and dashes to comment -out lines are accepted. +listed in the file \texttt{foo.itarget}. Blank lines and lines starting +with a sharp (\texttt{#}) are ignored. %***) %(*** Packing subdirectories into modules \subsection{Packing subdirectories into modules} |