+
+$(srcdir)/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) -e 's/Time-&-Date/Time-\&-Date/g' \
+ -e 's/“/\“/g' \
+ -e 's/”/\”/g' \
+ -e 's/‘/\‘/g' \
+ -e 's/’/\’/g' \
+ -e 's/—/\—/g' \
+ -e 's/–/\′/g' \
+ -e 's/©/\©/g' \
+ -e 's/−/\−/g' \
+ -e 's/…/\…/g' \
+ -e 's/././g' \
+ > $@
+ $(XMLLINT) --output /dev/null $@ 2>&1 2> /dev/null || ( $(RM) $@ && false )
+
+docbookdir = $(docdir)
+dist_docbook_DATA = doc/pspp.xml