Add a few temp doc items to ignore

diff --git a/doc/doc-docbook/.gitignore b/doc/doc-docbook/.gitignore
index 3bdbb25eb35f017c75aa079c615a40da27610612..fdcaf8b278d222cc1e77bc2f980df69a6e14b4f7 100644 (file)
--- a/doc/doc-docbook/.gitignore
+++ b/doc/doc-docbook/.gitignore
@@ -1,6 +1,9 @@
+spec*.html
 spec*.xml
 spec.ps
 spec.pdf
+spec.txt
 filter*.xml
 filter.ps
 filter.pdf
+local_params