summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2010-06-20 04:35:58 +0200
committerJose Antonio Ortega Ruiz <jao@gnu.org>2010-06-20 04:35:58 +0200
commitaee15f977a17dad50f3a56fa0411b356c013a3b1 (patch)
treedfde1a7f2e7847a99b167eb6ccf8a95f792eddf4 /.gitignore
parent073fcc996da5fc1c0e715affd1a38ef1fffb2506 (diff)
downloadgeiser-aee15f977a17dad50f3a56fa0411b356c013a3b1.tar.gz
geiser-aee15f977a17dad50f3a56fa0411b356c013a3b1.tar.bz2
Tweaks to the manual.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index ae987f6..3c8af17 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,3 +25,4 @@
/doc/geiser.toc
/doc/geiser.tp
/doc/geiser.vr
+/doc/html/