From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 15 Feb 2015 11:56:29 +0000 (+0100)
Subject: Makefile rule pspp.xml: Simplify slightly
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=8db5254daa12f6d42c619751113fa919ff73a077

Makefile rule pspp.xml: Simplify slightly
---

diff --git a/doc/automake.mk b/doc/automake.mk
index 8c9f660ee3..92bd95dca9 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -78,8 +78,9 @@ $(srcdir)/doc/pspp.xml: doc/pspp.texi $(doc_pspp_TEXINFOS)
 		-e 's/&period;/./g' \
 		-e 's%\(<figure [^>]*\)>%\1/>%g' \
 	 | $(AWK) '/<para>.*<table.*>.*<\/para>/{x=sub("</para>",""); print; s=1;next}/<\/table>/{print; if (s==1) print "</para>"; s=0; next}1' \
-	> $@
-	$(AM_V_at)$(XMLLINT) --output /dev/null $@ || ( $(RM) $@ ; false)
+	> $@,tmp
+	$(AM_V_at)$(XMLLINT) --output /dev/null $@,tmp
+	mv $@,tmp $@
 
 docbookdir = $(docdir)
 dist_docbook_DATA = doc/pspp.xml