about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-09-16T08·47+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-09-16T08·47+0000
commit5c0770ac847e3eb0ed004b75a52e2a94463b550f (patch)
tree15fc43941fc560a5356edfa7c203af6616a298af
parent1b62c2eba3f735c8e31200446735f53568a12ff3 (diff)
* Include the release notes in the manual.
-rw-r--r--doc/manual/manual.xml5
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml
index d6dd437edda4..c5a52a9a483b 100644
--- a/doc/manual/manual.xml
+++ b/doc/manual/manual.xml
@@ -80,4 +80,9 @@
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="bugs.xml" />
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="glossary.xml" />
 
+  <appendix>
+    <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="release-notes.xml"
+                xpointer="xpointer(article/*)" />
+  </appendix>
+    
 </book>