Use PDF_COMPILE for PDF creation

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 56952cd..7faf141 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -71,7 +71,7 @@ zebra.pdf: $(XMLFILES) domfilter.pdf
        for i in $(PNGFILES); do \
                if test ! -f $$i; then cp $(srcdir)/$$i .; fi; \
        done
-       dblatex $(srcdir)/zebra.xml
+       $(PDF_COMPILE) $(srcdir)/zebra.xml
 
 manref.xml: $(XMLMAN) $(srcdir)/common/ref2dbinc.xsl
        rm -f manref.xml

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