diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-22 01:47:58 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-22 01:47:58 +0200 |
| commit | f589a23f15b75798618c59f05c258cc8b8b39187 (patch) | |
| tree | 863fdc2eaf40ce82cecc8ec86e9938c7022d49b7 /.gitignore | |
| parent | 413f6f7afd466ec0e2da4c97f2f9b08407b6e155 (diff) | |
| download | geiser-f589a23f15b75798618c59f05c258cc8b8b39187.tar.gz geiser-f589a23f15b75798618c59f05c258cc8b8b39187.tar.bz2 | |
Engaging texi files in some autotooling.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -26,3 +26,6 @@ /doc/geiser.tp /doc/geiser.vr /doc/html/ +/doc/Makefile.in +/doc/geiser.info +/doc/texinfo.tex |