X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=c571a236d2fc240d8bd841a2ade937ae2791158d;hb=eb182278adbaa6f7dd9cdeaf18b26c2885b32f41;hp=9844d335d493a709da9afab404ae35f96ab4df27;hpb=0df9cdd3df66caf4353128feff3008289cda8115;p=pspp diff --git a/doc/automake.mk b/doc/automake.mk index 9844d335d4..c571a236d2 100644 --- a/doc/automake.mk +++ b/doc/automake.mk @@ -41,12 +41,14 @@ doc_pspp_dev_TEXINFOS = doc/version-dev.texi \ doc/dev/system-file-format.texi \ doc/dev/pc+-file-format.texi \ doc/dev/portable-file-format.texi \ + doc/dev/spv-file-format.texi \ + doc/dev/encrypted-file-wrappers.texi \ doc/dev/q2c.texi dist_man_MANS += doc/pspp.1 \ doc/psppire.1 -EXTRA_DIST += doc/get-commands.pl +EXTRA_DIST += doc/get-commands.pl doc/help-pages-list $(srcdir)/doc/ni.texi: $(top_srcdir)/src/language/command.def doc/get-commands.pl @$(MKDIR_P) doc @@ -60,7 +62,7 @@ $(srcdir)/doc/tut.texi: # 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) doc/help-pages-list +$(srcdir)/doc/pspp.xml: doc/pspp.texi $(doc_pspp_TEXINFOS) $(top_srcdir)/doc/help-pages-list @$(MKDIR_P) doc $(AM_V_GEN)$(MAKEINFO) $(AM_MAKEINFOFLAGS) --docbook -I $(top_srcdir) \ $(top_srcdir)/doc/pspp.texi -o - \ @@ -81,7 +83,7 @@ $(srcdir)/doc/pspp.xml: doc/pspp.texi $(doc_pspp_TEXINFOS) doc/help-pages-list | $(AWK) '/.*.*<\/para>/{x=sub("",""); print; s=1;next}/<\/table>/{print; if (s==1) print ""; s=0; next}1' \ > $@,tmp $(AM_V_at)$(XMLLINT) --output /dev/null $@,tmp - $(AM_V_at)cat doc/help-pages-list | while read node ; do \ + $(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