about summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2009-05-07T13·11+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2009-05-07T13·11+0000
commitf751c2966b98d14bbb0337abeca1cb1106e09136 (patch)
treec2cc2d982eacb6d7ea7ae5acaa9e167d60f538b1 /doc
parent404996ca1f2089511b90666ce092377ade830139 (diff)
* Don't have a bugs section in the manual. Bugs should be kept in the
  bug tracker.

Diffstat (limited to 'doc')
-rw-r--r--doc/manual/manual.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml
index e1dd5d48540b..7d140ca6f7ff 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>