X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2FMakefile;h=c28362ea980b3f916697486382ebe29879136f6b;hb=e7a3adce53223b35b7a30b4ac587f9415b8b61f5;hp=10c8bfff3fa10a9f37f01761ab01a6ba567811a0;hpb=8993a52e06e3f33aad16c8bb842f62307cae8063;p=YACASL2.git diff --git a/doc/Makefile b/doc/Makefile index 10c8bff..c28362e 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -16,7 +16,7 @@ TEX2DVI_FLAGS = -q --texinfo=@afourpaper prefix ?= ~ infodir ?= $(prefix)/share/info -.PHONY: base all info html htmls pdf install-info uninstall-info clean clean-textmp +.PHONY: base all info html htmls pdf install-info uninstall-info clean textmp-clean .INTERMEDIATE: *.dvi @@ -61,8 +61,8 @@ uninstall-info: $(INSTALL-INFO) --delete $(infodir)/yacasl2.info $(infodir)/dir $(RM) $(infodir)/yacasl2.info -clean: clean-textmp +clean: textmp-clean @$(RMR) *_html *.info *.html *.pdf *.dvi *.txt -clean-textmp: +textmp-clean: @$(RM) *.aux *.cp *.cps *.fn *.ky *.log *.pg *.pgs *.tmp *.toc *.tp *.vr