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/generators | |
parent | 472c8108af002104680f0044123e5cc2c1f5e3bb (diff) | |
download | ocaml-718fdb98e15947ab8e22877dd6403f93bf2e1320.tar.gz |
Provide an interface for ocamldoc's odoc_literate module
Diffstat (limited to 'ocamldoc/generators')
-rw-r--r-- | ocamldoc/generators/odoc_literate.mli | 23 |
1 files changed, 23 insertions, 0 deletions
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 |