X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=b75aee0bb75aee553ca4a2b29121df78ca1e4b0a;hb=b8ba7ff221ccbdbb766463001180e28ca0d90ecb;hp=9402d7af0aea98ab731007f7b905f251973c13f3;hpb=30f2130261c2b4bdd9dbf95aa7c5cbbdaef4c014;p=pspp-builds.git

diff --git a/doc/automake.mk b/doc/automake.mk
index 9402d7af..b75aee0b 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -55,7 +55,7 @@ doc/tut.texi:
 
 doc/pspp.xml: doc/pspp.texinfo $(doc_pspp_TEXINFOS)
 	@$(MKDIR_P)  doc
-	$(MAKEINFO) --docbook -I $(top_srcdir) $< -o $@
+	$(MAKEINFO) $(AM_MAKEINFOFLAGS) --docbook -I $(top_srcdir) $< -o $@
 	$(SED) -i -e 's/Time-&-Date/Time-\&amp;-Date/g' $@
 
 docbookdir = $(docdir)