X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=b31aa769b48291670e0ffeb7e8162c13ca4a8f8c;hb=933040005343d87414f14c48c90dfaa92110dc0a;hp=b1065a8d259c2982e4e6677a69b59022bf909cbd;hpb=f51ecb48027e6b1eb46840ae25888a25b429f012;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index b1065a8d25..b31aa769b4 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -52,7 +52,7 @@ doc/tut.texi:
 	echo "@set example-dir $(examplesdir)" > $@
 
 
-doc/pspp.xml: doc/pspp.texinfo $(doc_pspp_TEXINFOS)
+$(srcdir)/doc/pspp.xml: doc/pspp.texinfo $(doc_pspp_TEXINFOS)
 	@$(MKDIR_P)  doc
 	$(MAKEINFO) $(AM_MAKEINFOFLAGS) --docbook -I $(top_srcdir) \
 		$(top_srcdir)/doc/pspp.texinfo -o - \
@@ -60,8 +60,7 @@ doc/pspp.xml: doc/pspp.texinfo $(doc_pspp_TEXINFOS)
 	$(XMLLINT) --output /dev/null $@ 2>&1 2> /dev/null || ( $(RM) $@ && false )
 
 docbookdir = $(docdir)
-docbook_DATA = doc/pspp.xml
-
+dist_docbook_DATA = doc/pspp.xml
 
 EXTRA_DIST += doc/OChangeLog
 CLEANFILES += pspp-dev.dvi $(docbook_DATA)