X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=7645925bddf83cb65de71550ea5ff1fcd3d540d5;hb=21d3872bf07546c69b979a89563d7c72da34aeb6;hp=b1065a8d259c2982e4e6677a69b59022bf909cbd;hpb=f51ecb48027e6b1eb46840ae25888a25b429f012;p=pspp-builds.git

diff --git a/doc/automake.mk b/doc/automake.mk
index b1065a8d..7645925b 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -61,7 +61,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)