aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2017-01-17 11:22:23 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2017-01-17 11:22:23 +0200
commit34be21a72a396240642acf3050eead875d3ed4b4 (patch)
treea1ec6e2afc3e1a6cdc1b0b7eef1bf6f55cd3cbc0 /doc/.gitignore
parentcc4ca7324860a5df300858f842c859c21c758eb3 (diff)
Update doc generation script
Diffstat (limited to 'doc/.gitignore')
-rw-r--r--doc/.gitignore10
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/.gitignore b/doc/.gitignore
index dabc15d..9d45a89 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,5 +1,5 @@
-b*.xhtml
-b*.1
-build2-build-system-manual*.ps
-build2-build-system-manual*.pdf
-build2-build-system-manual.xhtml
+b.xhtml
+b.1
+build2-*-manual.xhtml
+*.ps
+*.pdf