X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=2a06686d6530013abbbaa8234b08c538d50b8602;hb=b6493cbb201307a2a5d1ff840a8347d75548cb85;hp=d3c91a26417e712e00c5522f62113212e82d929d;hpb=af0a4711a0421f49c4d69cdffbdeae6572eb8d48;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index d3c91a2641..2a06686d65 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -52,6 +52,8 @@ $(srcdir)/doc/tut.texi:
 	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.texinfo $(doc_pspp_TEXINFOS)
 	@$(MKDIR_P)  doc
 	$(MAKEINFO) $(AM_MAKEINFOFLAGS) --docbook -I $(top_srcdir) \
@@ -63,15 +65,23 @@ $(srcdir)/doc/pspp.xml: doc/pspp.texinfo $(doc_pspp_TEXINFOS)
 		-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 )
+		-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' \
+	> $@
+	$(XMLLINT) --output /dev/null $@ || ( $(RM) $@ ; false)
 
 docbookdir = $(docdir)
 dist_docbook_DATA = doc/pspp.xml
+ 
 
 EXTRA_DIST += doc/OChangeLog
 CLEANFILES += pspp-dev.dvi $(docbook_DATA)
+
+doc: $(INFO_DEPS) $(DVIS) $(PDFS) $(PSS) $(HTMLS) $(dist_docbook_DATA)
+.PHONY: doc