X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2FMakefile;h=7280fb00c143ef114bba8c6c45427bd443d588e4;hb=71c7607d809b725d66ef21471041e2677c71be4e;hp=d43de39f31244c66bc68082278ef711eb89e39d2;hpb=a624efdf4ae3a309dd991ec148eaa4c4ec565b93;p=YACASL2.git

diff --git a/doc/Makefile b/doc/Makefile
index d43de39..7280fb0 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -6,14 +6,16 @@ PTEX = ptex
 TEXI2DVI = texi2dvi
 DVI2PDF = dvipdfmx
 MAKEINFO = makeinfo
+MV = mv
 
 .PHONY: all htmlnosplit pdf clean
 
 .INTERMEDIATE: $(DOCNAME).dvi
 
-all: info htmlnosplit html pdf
+doc: info htmlnosplit html pdf
 
 htmlnosplit: $(DOCNAME).html
+	$(MV) $< index.html
 
 html: $(SRC) $(CSS)
 	@if test ! -s $@; then mkdir $@; fi;
@@ -39,3 +41,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