diff --git a/manual.xml b/manual.xml
index 80f113579..d3ab87f2d 100644
--- a/manual.xml
+++ b/manual.xml
@@ -426,6 +426,7 @@
  <book xml:id="appendices">
   <title>&Appendices;</title>
   &appendices.history;
+  &appendices.examples;
   &appendices.migration84;
   &appendices.migration83;
   &appendices.migration82;