ドキュメントの更新

[YACASL2.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 59511eb..d43de39 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,5 +1,41 @@
-.PHPNY: html clean
-html: yacasl2.texi
-       @makeinfo --html --css-ref=style.css $^
+DOCNAME = yacasl2
+SRC = $(DOCNAME).texi
+CSS = style.css
+
+PTEX = ptex
+TEXI2DVI = texi2dvi
+DVI2PDF = dvipdfmx
+MAKEINFO = makeinfo
+
+.PHONY: all htmlnosplit pdf clean
+
+.INTERMEDIATE: $(DOCNAME).dvi
+
+all: info htmlnosplit html pdf
+
+htmlnosplit: $(DOCNAME).html
+
+html: $(SRC) $(CSS)
+       @if test ! -s $@; then mkdir $@; fi;
+       @cp $(CSS) $@/$(CSS)
+       @$(MAKEINFO) -o $@ --html --css-ref=style.css $(SRC)
+
+pdf: $(DOCNAME).pdf
+
+info: $(DOCNAME).info
+
+$(DOCNAME).info: $(SRC)
+       @$(MAKEINFO) -o $@ $^
+
+$(DOCNAME).html: $(SRC) $(CSS)
+       @$(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $(SRC)
+
+$(DOCNAME).pdf: $(DOCNAME).dvi
+       @$(DVI2PDF) $^
+
+$(DOCNAME).dvi: $(SRC)
+       @TEX=$(PTEX) $(TEXI2DVI) -q --texinfo=@afourpaper -o $@ $<
+       @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
+
 clean:
-       @rm -rf yacasl2
+       @rm -rf html $(DOCNAME).info $(DOCNAME).pdf $(DOCNAME).html $(DOCNAME).dvi