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)
commit6a8f13efb7532355c4d7b046e6cc21e0a05333b4
tree07fc2cd66946c3bf84ed014d92d2ac032769af8c
parent253a082737f2cb56bbbef10263c5600eda1c4645
Ignore files produced by "makeinfo".
doc/.gitignore