X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Fautomake.mk;h=6e14132f0c8b41372887f41d9a1f4a8a8b108590;hb=8925b93f70213a7b88521ea134d0c7daf18bb1a5;hp=6db82bfb7e72d43f21c90784b5709ea086db4966;hpb=dba18c7c05778b92388aebc4a991a448790794e5;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index 6db82bfb7e..6e14132f0c 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 \
@@ -80,6 +81,7 @@ 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