diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-19 23:35:21 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-19 23:35:21 +0200 |
| commit | 833a32dd12ee1c4a7c790efdff7dadc0f927971e (patch) | |
| tree | 3e3da2d5f67d802e9d287ea795daf0c9bb4e3eff /.gitignore | |
| parent | b374cd559a733faa869bab9ac45422396de33990 (diff) | |
| download | geiser-833a32dd12ee1c4a7c790efdff7dadc0f927971e.tar.gz geiser-833a32dd12ee1c4a7c790efdff7dadc0f927971e.tar.bz2 | |
The humble beginnings of a user's manual.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -13,3 +13,15 @@ /scheme/Makefile.in /scheme/guile/Makefile.in /scheme/guile/geiser/Makefile.in +/doc/geiser.aux +/doc/geiser.cp +/doc/geiser.dvi +/doc/geiser.fn +/doc/geiser.ky +/doc/geiser.log +/doc/geiser.pdf +/doc/geiser.pg +/doc/geiser.tmp +/doc/geiser.toc +/doc/geiser.tp +/doc/geiser.vr |