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 75bd21557fd15..eb0a24789d44c 100644 --- a/doc/manual.xml +++ b/doc/manual.xml @@ -18,6 +18,7 @@ <xi:include href="functions.xml" /> <xi:include href="meta.xml" /> <xi:include href="languages-frameworks/index.xml" /> + <xi:include href="platform-notes.xml" /> <xi:include href="package-notes.xml" /> <xi:include href="overlays.xml" /> <xi:include href="coding-conventions.xml" /> |