X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=7e3c5d49372d9974da9b87b075e1f887547889ee;hb=af409c5cddb1bfdbc6a7f1db16a8d7c793d791ca;hp=c571a236d2fc240d8bd841a2ade937ae2791158d;hpb=355f0104f7b496494d4ca4fe71162e3df0754226;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index c571a236d2..7e3c5d4937 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -59,35 +59,14 @@ $(srcdir)/doc/tut.texi:
 	$(AM_V_GEN)echo "@set example-dir $(examplesdir)" > $@
 
 
-# The SED and AWK filters in this rule, are to work-around some nasty bugs in 
-# makeinfo version 4.13, which produces broken docbook xml.  These workarounds 
-# are rather horrible and must be removed asap.
 $(srcdir)/doc/pspp.xml: doc/pspp.texi $(doc_pspp_TEXINFOS) $(top_srcdir)/doc/help-pages-list
+if BROKEN_DOCBOOK_XML
+	touch $@
+else
 	@$(MKDIR_P)  doc
 	$(AM_V_GEN)$(MAKEINFO) $(AM_MAKEINFOFLAGS) --docbook -I $(top_srcdir) \
-		$(top_srcdir)/doc/pspp.texi -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' \
-		-e 's/•/\ߦ/g' \
-		-e 's/././g' \
-		-e 's%\(<figure [^>]*\)>%\1/>%g' \
-	 | $(AWK) '/<para>.*<table.*>.*<\/para>/{x=sub("</para>",""); print; s=1;next}/<\/table>/{print; if (s==1) print "</para>"; s=0; next}1' \
-	> $@,tmp
-	$(AM_V_at)$(XMLLINT) --output /dev/null $@,tmp
-	$(AM_V_at)cat $(top_srcdir)/doc/help-pages-list | while read node ; do \
-	 $(XMLLINT) --xpath "$$node" $@,tmp > /dev/null; \
-	 if test $$? -ne 0 ; then  echo "$$node does not appear in $@" ; exit 1; fi ; \
-	 done 
-	mv $@,tmp $@
+		$< -o $@
+endif
 
 docbookdir = $(docdir)
 dist_docbook_DATA = doc/pspp.xml