From: John Darrington <john@darrington.wattle.id.au>
Date: Sat, 13 Oct 2012 13:22:38 +0000 (+0200)
Subject: doc/automake.mk: Replace lines inadvertently removed by previous commit
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dba18c7c05778b92388aebc4a991a448790794e5;p=pspp

doc/automake.mk: Replace lines inadvertently removed by previous commit
---

diff --git a/doc/automake.mk b/doc/automake.mk
index ab57072020..6db82bfb7e 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -76,6 +76,9 @@ $(srcdir)/doc/pspp.xml: doc/pspp.texinfo $(doc_pspp_TEXINFOS)
 	> $@
 	$(XMLLINT) --output /dev/null $@ || ( $(RM) $@ ; false)
 
+docbookdir = $(docdir)
+dist_docbook_DATA = doc/pspp.xml
+ 
 
 EXTRA_DIST += doc/OChangeLog
 CLEANFILES += pspp-dev.dvi $(docbook_DATA)