diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-11-06 18:18:27 +0100 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-11-07 10:08:08 +0100 |
commit | 5cd08118d953bba08936914318e29cabc4301862 (patch) | |
tree | 506c8861ce9da43092d83dd752b401760ad14952 /doc/languages-frameworks/index.xml | |
parent | 742bce7793502e00736e49d6f8ed13952c7f3ba1 (diff) |
duneBuildPackage: document
Diffstat (limited to 'doc/languages-frameworks/index.xml')
-rw-r--r-- | doc/languages-frameworks/index.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/languages-frameworks/index.xml b/doc/languages-frameworks/index.xml index f22984cb56b0..ac0ad7125324 100644 --- a/doc/languages-frameworks/index.xml +++ b/doc/languages-frameworks/index.xml @@ -19,6 +19,7 @@ <xi:include href="java.xml" /> <xi:include href="lua.xml" /> <xi:include href="node.section.xml" /> + <xi:include href="ocaml.xml" /> <xi:include href="perl.xml" /> <xi:include href="python.section.xml" /> <xi:include href="qt.xml" /> |