doc: Distribute doc/pspp.xml, so that users don't need makeinfo or xmllint.

[pspp-builds.git] / doc / automake.mk

diff --git a/doc/automake.mk b/doc/automake.mk
index b24eb51e7e6c5458fc0ae726fc7a92e0f46a74eb..504fb8a7bd7522ef1a74335d5392f60087f5c387 100644 (file)
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -58,10 +58,11 @@ doc/pspp.xml: doc/pspp.texinfo $(doc_pspp_TEXINFOS)
        $(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
 
 EXTRA_DIST += doc/OChangeLog
 CLEANFILES += pspp-dev.dvi $(docbook_DATA)