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

diff --git a/doc/automake.mk b/doc/automake.mk
index 6db82bfb7e..2a06686d65 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -83,3 +83,5 @@ 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