- $(MAKEINFO) --docbook -I $(top_srcdir) $< -o $@
- $(SED) -i -e 's/Time-&-Date/Time-\&-Date/g' $@
+ $(MAKEINFO) $(AM_MAKEINFOFLAGS) --docbook -I $(top_srcdir) \
+ $(top_srcdir)/doc/pspp.texinfo -o - \
+ | $(SED) 's/Time-&-Date/Time-\&-Date/g' > $@
+ $(XMLLINT) --output /dev/null $@ 2>&1 2> /dev/null || ( $(RM) $@ && false )