Fix broken ./configure --without-gui (again)

[pspp] / doc / automake.mk

diff --git a/doc/automake.mk b/doc/automake.mk
index e02f1f4c68d0217a280cad777b6f7721451a512c..5bdfaa675463a0f85dd55e6e91e6df4b0c3fed29 100644 (file)
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -94,4 +94,13 @@ dist_docbook_DATA = doc/pspp.xml
 CLEANFILES += pspp-dev.dvi $(docbook_DATA)
 
 doc: $(INFO_DEPS) $(DVIS) $(PDFS) $(PSS) $(HTMLS) $(dist_docbook_DATA)
-.PHONY: doc
+PHONY += doc
+
+$(top_srcdir)/doc/help-pages-list: $(UI_FILES)
+        $(AM_V_GEN)cat $^ | grep '"help[-_]page"' | \
+   $(SED) -e 's% *<property name="help[-_]page">\([^<]*\)</property>%//*[@id='"'"'\1'"'"']%' \
+       -e 's%#%'"'"']/*[@id='"'"'%g' > $@,tmp
+       test -s $@,tmp
+       mv $@,tmp $@
+
+EXTRA_DIST += doc/help-pages-list