X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp-builds.git;a=blobdiff_plain;f=doc%2Fautomake.mk;h=504fb8a7bd7522ef1a74335d5392f60087f5c387;hp=0963e1fd14889ec707a20329ef55662238356497;hb=1b49116188b31ff17ee1a85e944488a7f254b847;hpb=e18dc0608fac0bf723bbdbd60389a602e9638cd8

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)