diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-05-07T13·11+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-05-07T13·11+0000 |
| commit | f751c2966b98d14bbb0337abeca1cb1106e09136 (patch) | |
| tree | c2cc2d982eacb6d7ea7ae5acaa9e167d60f538b1 /doc/manual/manual.xml | |
| parent | 404996ca1f2089511b90666ce092377ade830139 (diff) | |
* Don't have a bugs section in the manual. Bugs should be kept in the
bug tracker.
Diffstat (limited to 'doc/manual/manual.xml')
| -rw-r--r-- | doc/manual/manual.xml | 2 |
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> |