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
commit2170808fe933eef91dc374a76d3a56fa57747634 (patch)
tree6a36f9c391d4ca4526330573a163b7214eae5b38 /.gitignore
parent871b4082904fe087c6616570e496092717e000d1 (diff)
downloadgeiser-chez-2170808fe933eef91dc374a76d3a56fa57747634.tar.gz
geiser-chez-2170808fe933eef91dc374a76d3a56fa57747634.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/