summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorCarl Hetherington <cth@carlh.net>2013-11-06 23:07:41 +0000
committerCarl Hetherington <cth@carlh.net>2013-11-06 23:07:41 +0000
commita44238ce4ce8f0ba29e093de92067b708454a876 (patch)
treedb4158af432583e7159fe0d13e5c69b1c6233229 /.gitignore
parentc2aa1e3c11f9d13286c7a7260bcedce7e3502f00 (diff)
Various manual bits.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 0fd802092..3dc9f50fb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -20,6 +20,9 @@ doc/design/*.log
doc/design/*.aux
doc/manual/diagrams/*.pdf
doc/manual/diagrams/*.png
+doc/manual/colour.pdf
+doc/manual/colour.log
+doc/manual/colour.aux
.be/id-cache
*.pyc
GPATH