X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=4e1b3ff349595cac520255b711f55b8010a0f5f0;hb=9c99f9d21cb56f29e576d9eb91b2cc9ec8fed0f0;hp=7ebf3481fe777610e713729988becdcea5e2a6bb;hpb=c59aaac4ae90d783e96de486208b245f4f31691f;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index 7ebf3481fe..4e1b3ff349 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -47,7 +47,7 @@ doc_pspp_dev_TEXINFOS = doc/version-dev.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