diff options
-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> |