diff options
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 f22984cb56b0a..ac0ad7125324c 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" /> |