+
+doc/pspp.xml: doc/pspp.texinfo $(doc_pspp_TEXINFOS)
+ @$(MKDIR_P) doc
+ $(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
+EXTRA_DIST += doc/pspp.xml