X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=4e1b3ff349595cac520255b711f55b8010a0f5f0;hb=221cc7e7fd1cf6fa89d9c5f94f6e08c4beecefb2;hp=9844d335d493a709da9afab404ae35f96ab4df27;hpb=0df9cdd3df66caf4353128feff3008289cda8115;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index 9844d335d4..4e1b3ff349 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -41,12 +41,13 @@ doc_pspp_dev_TEXINFOS = doc/version-dev.texi \
 	doc/dev/system-file-format.texi \
 	doc/dev/pc+-file-format.texi \
 	doc/dev/portable-file-format.texi \
+	doc/dev/encrypted-file-wrappers.texi \
 	doc/dev/q2c.texi
 
 dist_man_MANS += doc/pspp.1 \
                  doc/psppire.1
 
-EXTRA_DIST += doc/get-commands.pl
+EXTRA_DIST += doc/get-commands.pl doc/help-pages-list
 
 $(srcdir)/doc/ni.texi: $(top_srcdir)/src/language/command.def doc/get-commands.pl
 	@$(MKDIR_P)  doc