summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorCarl Hetherington <cth@carlh.net>2013-03-31 02:09:04 +0100
committerCarl Hetherington <cth@carlh.net>2013-03-31 02:09:04 +0100
commitd4f6b22be930567dfc25be027b28a747d287d8a0 (patch)
treecccfe745b793e849fcdd5b1b1f260c39e10c11b2 /.gitignore
parentfe007671ad7616bd147c387957e1ce9d98a9c764 (diff)
Add a sketchy design document.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index cc3351558..70738a18f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,6 +15,9 @@ sync
doc/manual/html
doc/manual/pdf
doc/manual/extensions.ent
+doc/design/*.pdf
+doc/design/*.log
+doc/design/*.aux
.be/id-cache
*.pyc
GPATH