X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=2a06686d6530013abbbaa8234b08c538d50b8602;hb=refs%2Fbuilds%2F20130613010503%2Fpspp;hp=ab57072020d28a72eb0c9fc4265bf76b4c9cbab8;hpb=e3dd3e91afbcd73dbb4e916fe75f876948e5f600;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index ab57072020..2a06686d65 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -76,7 +76,12 @@ $(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)
 
+doc: $(INFO_DEPS) $(DVIS) $(PDFS) $(PSS) $(HTMLS) $(dist_docbook_DATA)
+.PHONY: doc