doc/pspp.xml: doc/pspp.texinfo $(doc_pspp_TEXINFOS)
@$(MKDIR_P) doc
- $(MAKEINFO) $(AM_MAKEINFOFLAGS) --docbook -I $(top_srcdir) $< -o - \
+ $(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 )
docbookdir = $(docdir)
docbook_DATA = doc/pspp.xml