aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2017-03-24 10:10:56 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2017-03-24 10:10:56 +0200
commit519557ffe8d6c88d1cb6fdb9120b06185042cd99 (patch)
tree0e820cceb4f24fe6cf9f55e7647d5d923c32d35d /doc/.gitignore
parent603657a166bff4a16606a2575364446171466af6 (diff)
Setup docs 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
new file mode 100644
index 0000000..5dddec7
--- /dev/null
+++ b/doc/.gitignore
@@ -0,0 +1,3 @@
+build2-*-manual.xhtml
+*.ps
+*.pdf