Use .texi suffix, preferred to .texinfo.
authorYann Dirson <ydirson@free.fr>
Tue, 17 Dec 2013 22:39:10 +0000 (23:39 +0100)
committerYann Dirson <ydirson@free.fr>
Tue, 17 Dec 2013 22:39:10 +0000 (23:39 +0100)
commita5fc6dab85bcfa63ba85aa81437393918238a98c
tree948e5c5eef3a9ad7f6603f0e32c5570f6f341514
parentdeef27a5a5543f0af93848cdeacd3ce1782e7dcf
Use .texi suffix, preferred to .texinfo.
doc/Makefile.in
doc/gnushogi.texi [moved from doc/gnushogi.texinfo with 100% similarity]