diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-01 17:35:42 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-30 18:11:59 +0200 |
commit | 6cebe6b727ad3c500f15fac147b9cd0c2af9b0ce (patch) | |
tree | 0a9b9ec54566573e93aeab4746c7d512a6405600 /ocamldoc/Makefile | |
parent | 10f2734d914e271c342f36037ba97bb8de35e54a (diff) | |
download | ocaml-6cebe6b727ad3c500f15fac147b9cd0c2af9b0ce.tar.gz |
ocamldoc: remove the empty odoc_inherit 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 f1091ed9a3..51767699bf 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -96,7 +96,6 @@ CMOFILES=\ odoc_merge.cmo \ odoc_sig.cmo \ odoc_ast.cmo \ - odoc_inherit.cmo \ odoc_search.cmo \ odoc_scan.cmo \ odoc_cross.cmo \ |