X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=doc%2FMakefile.in;h=356926dfb7a127d5d5f5cc98983e80533bd94852;hb=a5fc6dab85bcfa63ba85aa81437393918238a98c;hp=03fbc90b9bc60aa5e33f4d963827047c8f0d0706;hpb=deef27a5a5543f0af93848cdeacd3ce1782e7dcf;p=gnushogi.git

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 03fbc90..356926d 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -6,19 +6,19 @@ CLEANFILES = *.log *.dvi *.aux *.dlog \
 SRCDIR = @srcdir@
 
 info:
-	makeinfo $(SRCDIR)/gnushogi.texinfo
+	makeinfo $(SRCDIR)/gnushogi.texi
 
 dvi:
-	texi2dvi $(SRCDIR)/gnushogi.texinfo
+	texi2dvi $(SRCDIR)/gnushogi.texi
 
 pdf:
-	texi2pdf $(SRCDIR)/gnushogi.texinfo
+	texi2pdf $(SRCDIR)/gnushogi.texi
 
 # I do some egregious hacks to get around limitations of 
 # texi2html.
 
 html:
-	makeinfo --html --split=section $(SRCDIR)/gnushogi.texinfo
+	makeinfo --html --split=section $(SRCDIR)/gnushogi.texi
 
 ps: dvi
 	dvips -t letter gnushogi.dvi -o gnushogi.ps
@@ -27,7 +27,7 @@ ps2: dvi
 	dvi2ps gnushogi.dvi > gnushogi.ps
 
 spell:
-	tr '[A-Z]' '[a-z]' < $(SRCDIR)/gnushogi.texinfo | tr -cd '[A-Za-z0-9_ \012]' | \
+	tr '[A-Z]' '[a-z]' < $(SRCDIR)/gnushogi.texi | tr -cd '[A-Za-z0-9_ \012]' | \
 	tr -s '[ ]' '\012' | sort | uniq -c | sort -nr | spell | sort | uniq
 
 clean: