diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-28 16:34:25 +0200 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-30 18:30:19 +0200 |
| commit | 718fdb98e15947ab8e22877dd6403f93bf2e1320 (patch) | |
| tree | 6a6781a1b07d5dc266a098115f2973b751c8211c /ocamldoc | |
| parent | 472c8108af002104680f0044123e5cc2c1f5e3bb (diff) | |
| download | ocaml-718fdb98e15947ab8e22877dd6403f93bf2e1320.tar.gz | |
Provide an interface for ocamldoc's odoc_literate module
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 |