diff options
| author | octachron <octa@polychoron.fr> | 2017-03-18 13:41:37 +0100 |
|---|---|---|
| committer | octachron <octa@polychoron.fr> | 2017-03-18 13:41:37 +0100 |
| commit | ef47470abe924777b0cbf3c6e76b33692befe2d3 (patch) | |
| tree | 811d5138741d8b0e604fda8fee5bb2e3b977c1d9 /manual | |
| parent | d377215eda0933019712f38c2483c5f14c2d8f6d (diff) | |
| download | ocaml-ef47470abe924777b0cbf3c6e76b33692befe2d3.tar.gz | |
PR#7497: manual, numbered tables of contents
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/manual/manual.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/manual/manual.tex b/manual/manual/manual.tex index f50cff41fa..7d67a1e4e7 100644 --- a/manual/manual/manual.tex +++ b/manual/manual/manual.tex @@ -22,7 +22,7 @@ \raggedbottom \input{version.tex} - +%HEVEA\tocnumber %HEVEA\setcounter{cuttingdepth}{1} %HEVEA\title{The OCaml system, release \ocamlversion} \input{allfiles.tex} |