From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 6 Mar 2015 04:43:31 +0000 (-0800)
Subject: doc: Fix use of $(AM_V_at).
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=244ba85cfda15e1d7f98627b4266789cb4fbd4e4;p=pspp

doc: Fix use of $(AM_V_at).

It has to come at the beginning of the command since it expands to
@ and only "make" (not the shell) understands that.
---

diff --git a/doc/automake.mk b/doc/automake.mk
index 2c6ec860e1..9844d335d4 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -81,8 +81,8 @@ $(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
-	cat doc/help-pages-list | while read node ; do \
-	 $(AM_V_at)$(XMLLINT) --xpath "$$node" $@,tmp > /dev/null; \
+	$(AM_V_at)cat 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 
 	mv $@,tmp $@