diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-01 17:31:32 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-30 18:11:59 +0200 |
commit | 10f2734d914e271c342f36037ba97bb8de35e54a (patch) | |
tree | c9762526ecc726b45f267eb0a2ab5e80bfb75103 /ocamldoc/Makefile | |
parent | 0dcc24a6da93a89c2ac86115a48dadd94f44b2d5 (diff) | |
download | ocaml-10f2734d914e271c342f36037ba97bb8de35e54a.tar.gz |
ocmaldoc: remove the empty odoc_control module
Diffstat (limited to 'ocamldoc/Makefile')
-rw-r--r-- | ocamldoc/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index 3c0635786a..f1091ed9a3 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -96,7 +96,6 @@ CMOFILES=\ odoc_merge.cmo \ odoc_sig.cmo \ odoc_ast.cmo \ - odoc_control.cmo \ odoc_inherit.cmo \ odoc_search.cmo \ odoc_scan.cmo \ |