X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=b4d93ce1b304a21a7e4c0eb950bd5fdbc90287ff;hb=65dea0d51ec33cbc614a3ec87b5aae28c86f005a;hp=4e1b3ff349595cac520255b711f55b8010a0f5f0;hpb=c8f16e229dede3bf3ec30c329cccc6924778553a;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index 4e1b3ff349..b4d93ce1b3 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -61,7 +61,7 @@ $(srcdir)/doc/tut.texi:
 # The SED and AWK filters in this rule, are to work-around some nasty bugs in 
 # makeinfo version 4.13, which produces broken docbook xml.  These workarounds 
 # are rather horrible and must be removed asap.
-$(srcdir)/doc/pspp.xml: doc/pspp.texi $(doc_pspp_TEXINFOS) doc/help-pages-list
+$(srcdir)/doc/pspp.xml: doc/pspp.texi $(doc_pspp_TEXINFOS) $(top_srcdir)/doc/help-pages-list
 	@$(MKDIR_P)  doc
 	$(AM_V_GEN)$(MAKEINFO) $(AM_MAKEINFOFLAGS) --docbook -I $(top_srcdir) \
 		$(top_srcdir)/doc/pspp.texi -o - \
@@ -82,7 +82,7 @@ $(srcdir)/doc/pspp.xml: doc/pspp.texi $(doc_pspp_TEXINFOS) doc/help-pages-list
 	 | $(AWK) '/<para>.*<table.*>.*<\/para>/{x=sub("</para>",""); print; s=1;next}/<\/table>/{print; if (s==1) print "</para>"; s=0; next}1' \
 	> $@,tmp
 	$(AM_V_at)$(XMLLINT) --output /dev/null $@,tmp
-	$(AM_V_at)cat doc/help-pages-list | while read node ; do \
+	$(AM_V_at)cat $(top_srcdir)/doc/help-pages-list | while read node ; do \
 	 $(XMLLINT) --xpath "$$node" $@,tmp > /dev/null; \
 	 if test $$? -ne 0 ; then  echo "$$node does not appear in $@" ; exit 1; fi ; \
 	 done