ドキュメント作成

[YACASL2.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 59511eb..c3a5422 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,5 +1,19 @@
-.PHPNY: html clean
+TEXBIN = /usr/local/teTeX/bin
+PTEX = $(TEXBIN)/ptex
+TEXINDEX = $(TEXBIN)/texindex
+DVI2PDF = $(TEXBIN)/dvipdfmx
+TEMPPDF = temp_pdf
+
+.PHPNY: html pdf clean
 html: yacasl2.texi
        @makeinfo --html --css-ref=style.css $^
+pdf: yacasl2.texi
+       @if test ! -s $(TEMPPDF); then mkdir $(TEMPPDF); fi; \
+     cd $(TEMPPDF); \
+     $(PTEX) ../$^; \
+     $(TEXINDEX) yacasl2.??; \
+     $(DVI2PDF) yacasl2.dvi; \
+     mv yacasl2.pdf ..; \
+     cd -
 clean:
-       @rm -rf yacasl2
+       @rm -rf yacasl2/index.html $(TEMPPDF)