diff options
| author | John Whitington <john@coherentgraphics.co.uk> | 2021-01-20 14:57:13 +0000 |
|---|---|---|
| committer | octachron <octa@polychoron.fr> | 2021-01-29 12:58:21 +0100 |
| commit | cf0c9d65c2028b316d4b209b931ecba2b4129cfe (patch) | |
| tree | cfddc1a22b6b5859906b5710b7be6df434cf4177 /toplevel/topdirs.ml | |
| parent | 2aeb55a06b87203a247bfacbff981383b8dcab0e (diff) | |
| download | ocaml-cf0c9d65c2028b316d4b209b931ecba2b4129cfe.tar.gz | |
More manual/src changes
Diffstat (limited to 'toplevel/topdirs.ml')
| -rw-r--r-- | toplevel/topdirs.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/topdirs.ml b/toplevel/topdirs.ml index 94e066d1d0..34c0b673dd 100644 --- a/toplevel/topdirs.ml +++ b/toplevel/topdirs.ml @@ -52,7 +52,7 @@ let order_of_sections = section_undocumented; ]) (* Do not forget to keep the directives synchronized with the manual in - manual/manual/cmds/top.etex *) + manual/src/cmds/top.etex *) (* To quit *) |