From 5c0770ac847e3eb0ed004b75a52e2a94463b550f Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Fri, 16 Sep 2005 08:47:34 +0000
Subject: [PATCH] * Include the release notes in the manual.

---
 doc/manual/manual.xml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml
index d6dd437edd..c5a52a9a48 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>