diff --git a/doc/arm/Makefile.in b/doc/arm/Makefile.in
index e3e63bd5bb..c1ba4721d5 100644
--- a/doc/arm/Makefile.in
+++ b/doc/arm/Makefile.in
@@ -21,6 +21,7 @@ PDFOBJS = Bv9ARM.pdf notes.pdf
NOTESXML = notes-download.xml notes-eol.xml notes-intro.xml notes-license.xml \
notes-numbering.xml notes-platforms.xml notes-thankyou.xml \
+ notes-9.14.12.xml \
notes-9.14.11.xml \
notes-9.14.10.xml \
notes-9.14.9.xml \
diff --git a/doc/arm/notes.xml b/doc/arm/notes.xml
index 1ec0436857..465fe4439b 100644
--- a/doc/arm/notes.xml
+++ b/doc/arm/notes.xml
@@ -24,6 +24,7 @@
+