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

diff --git a/doc/automake.mk b/doc/automake.mk
index 6db82bfb7e..d5fb00b623 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -18,6 +18,7 @@ doc_pspp_TEXINFOS = doc/version.texi \
 	doc/invoking.texi \
 	doc/language.texi \
 	doc/license.texi \
+	doc/pspp-convert.texi \
 	doc/ni.texi \
 	doc/not-implemented.texi \
 	doc/statistics.texi \
@@ -83,3 +84,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