X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=doc%2FMakefile;fp=doc%2FMakefile;h=8b93ab64dfd00b2d5ed948f787507f76a57c86e0;hb=48e91ef03a032a541100743df1fd083696a5d3cd;hp=6e4e0ac819c2250b8cf520f1e040fd1ebf9ec267;hpb=8ce8026a83784396ecdb1cc1530ab09c7ae0a53c;p=gnushogi.git

diff --git a/doc/Makefile b/doc/Makefile
index 6e4e0ac..8b93ab6 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,5 +1,5 @@
-DISTCLEANFILES = *.info* *.ps *.html
-
+MAINTAINERCLEANFILES = *.info*
+DISTCLEANFILES = *.ps *.html
 CLEANFILES = *.log *.dvi *.aux *.dlog \
              *.cp *.cps *.fn *.ky *.pg *.toc *.tp *.vr
 
@@ -7,22 +7,22 @@ CLEANFILES = *.log *.dvi *.aux *.dlog \
 info:
 	makeinfo gnushogi.texinfo
 
-tex:
+dvi:
 	texi2dvi gnushogi.texinfo
 
+pdf:
+	texi2pdf gnushogi.texinfo
+
 # I do some egregious hacks to get around limitations of 
 # texi2html.
 
 html:
 	texi2html -split_node gnushogi.texinfo
 
-view:
-	xdvi gnushogi.dvi
-
-ps:
+ps: dvi
 	dvips -t letter gnushogi.dvi -o gnushogi.ps
 
-ps2:
+ps2: dvi
 	dvi2ps gnushogi.dvi > gnushogi.ps
 
 spell:
@@ -39,5 +39,7 @@ distclean: clean
         do if [ -f $$file ]; then rm $$file; fi; \
         done
 
-
-
+maintainerclean: distclean
+	@for file in $(MAINTAINERCLEANFILES); \
+        do if [ -f $$file ]; then rm $$file; fi; \
+        done