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 | e27e9961e58925e39cd5a19699806aac640abbd1 (patch) | |
| tree | 9f7dc653a94279e924d1c8ea938a38af1353f735 /.gitignore | |
| parent | 348fdbe00a7cb3d4bc3729fe032f36921715ce70 (diff) | |
| download | geiser-chez-e27e9961e58925e39cd5a19699806aac640abbd1.tar.gz geiser-chez-e27e9961e58925e39cd5a19699806aac640abbd1.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 |