diff options
| -rw-r--r-- | doc/doc-docbook/.gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/doc-docbook/.gitignore b/doc/doc-docbook/.gitignore index 3bdbb25eb..fdcaf8b27 100644 --- 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 |