diff --git a/doc/driver.mld b/doc/driver.mld index 18a2b5b144..588e21098e 100644 --- a/doc/driver.mld +++ b/doc/driver.mld @@ -318,7 +318,7 @@ let dep_libraries = let odoc_libraries = [ "odoc_xref_test"; "odoc_xref2"; "odoc_odoc"; "odoc_html_support_files"; "odoc_model_desc"; "odoc_model"; "odoc_manpage"; "odoc_loader"; - "odoc_latex"; "odoc_html"; "odoc_document"; "odoc_examples" ];; + "odoc_latex"; "odoc_html"; "odoc_document"; "odoc_examples"; "odoc_parser" ];; let all_libraries = dep_libraries @ odoc_libraries;; diff --git a/doc/library_mlds/odoc_parser.mld b/doc/library_mlds/odoc_parser.mld new file mode 100644 index 0000000000..5ab7d5c8d4 --- /dev/null +++ b/doc/library_mlds/odoc_parser.mld @@ -0,0 +1,3 @@ +{0 Odoc's parser} + +{!childmodule-Odoc_parser}