aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-02-11 12:24:32 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-02-11 12:24:32 +0200
commit78634fa442ca0931663b9307a366aae9e28c03a4 (patch)
treee585386a30ee7f361390b4d689ec50476747b63c /doc/.gitignore
parent8137dc60e2ba353f6cab5f633bc4edeff2271073 (diff)
Setup manual infra
Diffstat (limited to 'doc/.gitignore')
-rw-r--r--doc/.gitignore3
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore
index c3a9ae5..dabc15d 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,2 +1,5 @@
b*.xhtml
b*.1
+build2-build-system-manual*.ps
+build2-build-system-manual*.pdf
+build2-build-system-manual.xhtml