X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=d1475c4c86e66c45d585f73f8a4b27af9c6e882b;hb=e55bfe0add20f87445b6f2fa6b6e3b0db2a8a0b4;hp=b75aee0bb75aee553ca4a2b29121df78ca1e4b0a;hpb=553dd6fd34f6ac129d51cf4736f89e349b97e16c;p=pspp-builds.git

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