Ignore files produced by "makeinfo".
authorBen Pfaff <blp@cs.stanford.edu>
Sun, 9 Nov 2008 23:42:02 +0000 (15:42 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Sun, 9 Nov 2008 23:42:02 +0000 (15:42 -0800)
commit0e44b3e0539acc8c47a08c9bfa4a98a42cdc7114
treed6d07774b6293283993f9efe73a8407bdc16c55b
parent9a4067dc5bd3d810ce4b1d9dd8ba394dee4c247b
Ignore files produced by "makeinfo".
doc/.gitignore