X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=doc%2FMakefile;fp=doc%2FMakefile;h=6e4e0ac819c2250b8cf520f1e040fd1ebf9ec267;hb=8ce8026a83784396ecdb1cc1530ab09c7ae0a53c;hp=8349954d5ffedaa461088dfca3569ee3a9765bdd;hpb=ee7854267f81987f44e5f4973f3d55e09bd38174;p=gnushogi.git diff --git a/doc/Makefile b/doc/Makefile index 8349954..6e4e0ac 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -15,10 +15,6 @@ tex: html: texi2html -split_node gnushogi.texinfo - ./make_fig1 < gnushogi_6.html > tmp.html - mv tmp.html gnushogi_6.html - ./make_fig2 < gnushogi_14.html > tmp.html - mv tmp.html gnushogi_14.html view: xdvi gnushogi.dvi