diff options
Diffstat (limited to 'ocamldoc')
-rw-r--r-- | ocamldoc/.depend | 12 | ||||
-rw-r--r-- | ocamldoc/generators/odoc_literate.mli | 23 |
2 files changed, 32 insertions, 3 deletions
diff --git a/ocamldoc/.depend b/ocamldoc/.depend index 6656446958..43f7318fb9 100644 --- a/ocamldoc/.depend +++ b/ocamldoc/.depend @@ -959,17 +959,22 @@ generators/odoc_literate.cmo : \ odoc_info.cmi \ odoc_html.cmi \ odoc_gen.cmi \ - odoc_args.cmi + odoc_args.cmi \ + generators/odoc_literate.cmi generators/odoc_literate.cmx : \ odoc_info.cmx \ odoc_html.cmx \ odoc_gen.cmx \ - odoc_args.cmx + odoc_args.cmx \ + generators/odoc_literate.cmi generators/odoc_literate.cmxs : \ odoc_info.cmx \ odoc_html.cmx \ odoc_gen.cmx \ - odoc_args.cmx + odoc_args.cmx \ + generators/odoc_literate.cmi +generators/odoc_literate.cmi : \ + odoc_html.cmi generators/odoc_todo.cmo : \ odoc_module.cmi \ odoc_info.cmi \ @@ -992,5 +997,6 @@ generators/odoc_todo.cmxs : \ odoc_args.cmx \ generators/odoc_todo.cmi generators/odoc_todo.cmi : \ + odoc_scan.cmi \ odoc_info.cmi \ odoc_html.cmi diff --git a/ocamldoc/generators/odoc_literate.mli b/ocamldoc/generators/odoc_literate.mli new file mode 100644 index 0000000000..eaf38ba8f2 --- /dev/null +++ b/ocamldoc/generators/odoc_literate.mli @@ -0,0 +1,23 @@ +(**************************************************************************) +(* *) +(* OCaml *) +(* *) +(* Sebastien Hinderer, projet Cambium, INRIA Paris *) +(* *) +(* Copyright 2022 Institut National de Recherche en Informatique et *) +(* en Automatique. *) +(* *) +(* All rights reserved. This file is distributed under the terms of *) +(* the GNU Lesser General Public License version 2.1, with the *) +(* special exception on linking described in the file LICENSE. *) +(* *) +(**************************************************************************) + +module Naming = Odoc_html.Naming + +module Html : Odoc_html.Html_generator + +module Generator : + sig + class html : Odoc_html.Generator.html + end |