diff --git a/manual.xml b/manual.xml
index 0678298e20..ff7cb7864d 100644
--- a/manual.xml
+++ b/manual.xml
@@ -449,6 +449,7 @@
   &appendices.tokens;
   &appendices.userlandnaming;
   &appendices.about;
+  &appendices.examples;
   &appendices.license;
   &global.function-index;
   <appendix xmlns="http://docbook.org/ns/docbook" xml:id="doc.changelog">