diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2020-12-05 06:16:24 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-05 06:16:24 +0000 |
commit | 55b348fe1b0417fa20902bfb1133aebf833cae44 (patch) | |
tree | 1c6707ff57715fb765dae98a760b8a51371a17ab /doc/languages-frameworks/index.xml | |
parent | 4763e8b8fd805f63a707257b3c0bd6a1af90d7d8 (diff) | |
parent | 7ba8820008a9fc767377bbc5f67bf85aee514bee (diff) |
Merge master into staging-next
Diffstat (limited to 'doc/languages-frameworks/index.xml')
-rw-r--r-- | doc/languages-frameworks/index.xml | 2 |
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" /> |