Use PDF_COMPILE for PDF creation

diff --git a/doc/Makefile.am b/doc/Makefile.am
index e0c3f66..d66ff3a 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -33,11 +33,7 @@ index.tkl: $(XMLFILES)
        $(TKL_COMPILE) $(TOP)
 
 yazproxy.pdf: $(XMLFILES)
        $(TKL_COMPILE) $(TOP)
 
 yazproxy.pdf: $(XMLFILES)

-       if test ! -f common/id.png ; then cp $(srcdir)/common/id.png common; fi
-       jade -E14 -D $(srcdir) -d common/print.dsl -t tex $(srcdir)/common/xml.dcl $(TOP)
-       pdfjadetex yazproxy.tex >pdfjadetex.log 2>&1
-       pdfjadetex yazproxy.tex >pdfjadetex.log 2>&1
-       pdfjadetex yazproxy.tex >pdfjadetex.log 2>&1
+       $(PDF_COMPILE) $(TOP)

 
 clean-data-hook:
        rm -f [0-9]* *.bak
 
 clean-data-hook:
        rm -f [0-9]* *.bak

diff --git a/m4 b/m4
index 9763824..acee1cf 160000 (submodule)
--- a/m4
+++ b/m4
@@ -1 +1 @@
-Subproject commit 9763824ebc2240e71a2eff5bb5b3775ab56d0508
+Subproject commit acee1cf4678c8c0908d65fcbc19f49c7c5aa677f