X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=504fb8a7bd7522ef1a74335d5392f60087f5c387;hb=1b49116188b31ff17ee1a85e944488a7f254b847;hp=26ff4e651a7e0718ebef8e60f292d4c96c5fcb07;hpb=d94dc663529b4e05ec1e7c47c1e73310abb1d3b4;p=pspp-builds.git

diff --git a/doc/automake.mk b/doc/automake.mk
index 26ff4e65..504fb8a7 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -55,12 +55,14 @@ doc/tut.texi:
 
 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-\&amp;-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)