diff options
Diffstat (limited to 'doc/manual.xml')
-rw-r--r-- | doc/manual.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/manual.xml b/doc/manual.xml index 6ad66d48652..1c0dac6e4df 100644 --- a/doc/manual.xml +++ b/doc/manual.xml @@ -18,6 +18,7 @@ <xi:include href="meta.xml" /> <xi:include href="languages-frameworks/index.xml" /> <xi:include href="package-notes.xml" /> + <xi:include href="overlays.xml" /> <xi:include href="coding-conventions.xml" /> <xi:include href="submitting-changes.xml" /> <xi:include href="reviewing-contributions.xml" /> |