From f751c2966b98d14bbb0337abeca1cb1106e09136 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Thu, 7 May 2009 13:11:58 +0000
Subject: [PATCH] * Don't have a bugs section in the manual.  Bugs should be
 kept in the   bug tracker.

---
 doc/manual/manual.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml
index e1dd5d485..7d140ca6f 100644
--- a/doc/manual/manual.xml
+++ b/doc/manual/manual.xml
@@ -110,7 +110,7 @@
   </appendix>
 
   <xi:include href="troubleshooting.xml" />
-  <xi:include href="bugs.xml" />
+  <!-- <xi:include href="bugs.xml" /> -->
   <xi:include href="glossary.xml" />
 
   <appendix>