Rework doc-handing make rules and remove generated files from version control.
authorYann Dirson <ydirson@free.fr>
Tue, 8 Oct 2013 20:05:45 +0000 (22:05 +0200)
committerYann Dirson <ydirson@free.fr>
Tue, 8 Oct 2013 21:18:06 +0000 (23:18 +0200)
commit48e91ef03a032a541100743df1fd083696a5d3cd
tree361cfb9375b5f45c3fcfe092515166714fb92c1e
parent8ce8026a83784396ecdb1cc1530ab09c7ae0a53c
Rework doc-handing make rules and remove generated files from version control.

Newer texinfo.tex was imported from texinfo 5.1.
36 files changed:
.gitignore
Makefile.in
doc/Makefile
doc/gnushogi.html [deleted file]
doc/gnushogi.info [deleted file]
doc/gnushogi.info-1 [deleted file]
doc/gnushogi.info-2 [deleted file]
doc/gnushogi.ps [deleted file]
doc/gnushogi_1.html [deleted file]
doc/gnushogi_10.html [deleted file]
doc/gnushogi_11.html [deleted file]
doc/gnushogi_12.html [deleted file]
doc/gnushogi_13.html [deleted file]
doc/gnushogi_14.html [deleted file]
doc/gnushogi_15.html [deleted file]
doc/gnushogi_16.html [deleted file]
doc/gnushogi_17.html [deleted file]
doc/gnushogi_18.html [deleted file]
doc/gnushogi_19.html [deleted file]
doc/gnushogi_2.html [deleted file]
doc/gnushogi_20.html [deleted file]
doc/gnushogi_21.html [deleted file]
doc/gnushogi_22.html [deleted file]
doc/gnushogi_23.html [deleted file]
doc/gnushogi_24.html [deleted file]
doc/gnushogi_3.html [deleted file]
doc/gnushogi_4.html [deleted file]
doc/gnushogi_5.html [deleted file]
doc/gnushogi_6.html [deleted file]
doc/gnushogi_7.html [deleted file]
doc/gnushogi_8.html [deleted file]
doc/gnushogi_9.html [deleted file]
doc/gnushogi_abt.html [deleted file]
doc/gnushogi_ovr.html [deleted file]
doc/gnushogi_toc.html [deleted file]
doc/texinfo.tex