X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2FMakefile;h=200853981fed2ac7a1e5e206b608fdbe1c4e56ab;hb=85a32cf5cc8e39dc5d4f085179559de71ad87cb8;hp=d43de39f31244c66bc68082278ef711eb89e39d2;hpb=a624efdf4ae3a309dd991ec148eaa4c4ec565b93;p=YACASL2.git diff --git a/doc/Makefile b/doc/Makefile index d43de39..2008539 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -11,7 +11,7 @@ MAKEINFO = makeinfo .INTERMEDIATE: $(DOCNAME).dvi -all: info htmlnosplit html pdf +doc: info htmlnosplit html pdf htmlnosplit: $(DOCNAME).html @@ -39,3 +39,4 @@ $(DOCNAME).dvi: $(SRC) clean: @rm -rf html $(DOCNAME).info $(DOCNAME).pdf $(DOCNAME).html $(DOCNAME).dvi + @rm -rf $(DOCNAME).aux $(DOCNAME).cp $(DOCNAME).cps $(DOCNAME).fn $(DOCNAME).ky $(DOCNAME).log $(DOCNAME).pg $(DOCNAME).pgs $(DOCNAME).tmp $(DOCNAME).toc $(DOCNAME).tp $(DOCNAME).vr