Use PDF_COMPILE for PDF creation

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 3dd0909..8d7f4d2 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -73,7 +73,7 @@ metaproxy.pdf: $(XMLFILES) multi.pdf
        for i in $(PNGFILES) common/id.png multi.pdf; do \
                if test ! -f $$i; then cp $(srcdir)/$$i $$i; fi; \
        done
-       dblatex $(MAINXML)
+       $(PDF_COMPILE) $(MAINXML)
        mv book.pdf metaproxy.pdf
 
 metaproxyj.pdf: $(XMLFILES) multi.pdf

diff --git a/m4 b/m4
index b076b76..3400a80 160000 (submodule)
--- a/m4
+++ b/m4
@@ -1 +1 @@
-Subproject commit b076b768162950579fb9831b1f8dd8be5fdc3154
+Subproject commit 3400a80a30fd65cfe6e7efa871789ac46ecd5160