X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2FMakefile;h=c3a5422c4e0942e98df5e212ec01a57a3929df42;hb=6673b36a095d369cca59bc4b7a585a6981e27e2e;hp=59511eb7e951c6fbf53b21e813a990e8b2d53159;hpb=4fe8479d27f535a0ff44c9f6ce270249934e980f;p=YACASL2.git

diff --git a/doc/Makefile b/doc/Makefile
index 59511eb..c3a5422 100644
--- 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)