From: Ben Pfaff Date: Sat, 6 Feb 2010 19:11:41 +0000 (-0800) Subject: doc: Distribute doc/pspp.xml, so that users don't need makeinfo or xmllint. X-Git-Tag: fc11-i386-build92^0 X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp-builds.git;a=commitdiff_plain;h=1b49116188b31ff17ee1a85e944488a7f254b847 doc: Distribute doc/pspp.xml, so that users don't need makeinfo or xmllint. Reported by unknown-1 . --- diff --git a/doc/automake.mk b/doc/automake.mk index 0963e1fd..504fb8a7 100644 --- a/doc/automake.mk +++ b/doc/automake.mk @@ -62,7 +62,7 @@ doc/pspp.xml: doc/pspp.texinfo $(doc_pspp_TEXINFOS) docbookdir = $(docdir) docbook_DATA = doc/pspp.xml - +EXTRA_DIST += doc/pspp.xml EXTRA_DIST += doc/OChangeLog CLEANFILES += pspp-dev.dvi $(docbook_DATA)