Skip to content

Commit

Permalink
Add parser to list of libraries compiled by odoc
Browse files Browse the repository at this point in the history
Signed-off-by: Paul-Elliot <[email protected]>
  • Loading branch information
panglesd authored and Julow committed Oct 25, 2023
1 parent 2ec6c8b commit dec7e6b
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 1 deletion.
2 changes: 1 addition & 1 deletion doc/driver.mld
Original file line number Diff line number Diff line change
Expand Up @@ -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;;

Expand Down
3 changes: 3 additions & 0 deletions doc/library_mlds/odoc_parser.mld
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
{0 Odoc's parser}

{!childmodule-Odoc_parser}

0 comments on commit dec7e6b

Please sign in to comment.