aboutsummaryrefslogtreecommitdiff
path: root/doc/languages-frameworks/index.xml
diff options
context:
space:
mode:
authorgithub-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>2020-12-05 06:16:24 +0000
committerGitHub <noreply@github.com>2020-12-05 06:16:24 +0000
commit55b348fe1b0417fa20902bfb1133aebf833cae44 (patch)
tree1c6707ff57715fb765dae98a760b8a51371a17ab /doc/languages-frameworks/index.xml
parent4763e8b8fd805f63a707257b3c0bd6a1af90d7d8 (diff)
parent7ba8820008a9fc767377bbc5f67bf85aee514bee (diff)
Merge master into staging-next
Diffstat (limited to 'doc/languages-frameworks/index.xml')
-rw-r--r--doc/languages-frameworks/index.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/languages-frameworks/index.xml b/doc/languages-frameworks/index.xml
index 5046ce00b9a9..daa57cf1f865 100644
--- a/doc/languages-frameworks/index.xml
+++ b/doc/languages-frameworks/index.xml
@@ -21,7 +21,7 @@
<xi:include href="lua.section.xml" />
<xi:include href="maven.section.xml" />
<xi:include href="node.section.xml" />
- <xi:include href="ocaml.xml" />
+ <xi:include href="ocaml.section.xml" />
<xi:include href="perl.xml" />
<xi:include href="php.section.xml" />
<xi:include href="python.section.xml" />