Fixed problem building documentation in absence of xmllint

[pspp] / doc / automake.mk

diff --git a/doc/automake.mk b/doc/automake.mk
index 7ebf3481fe777610e713729988becdcea5e2a6bb..4e1b3ff349595cac520255b711f55b8010a0f5f0 100644 (file)
--- 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