help-pages-list: Distribute.

[pspp] / src / ui / gui / automake.mk

diff --git a/src/ui/gui/automake.mk b/src/ui/gui/automake.mk
index 65f45f8f987866b0a36381c2c6cca9d766e01ad1..1b3acc3c5919c5c0823032a2fe385b94da66ca07 100644 (file)
--- a/src/ui/gui/automake.mk
+++ b/src/ui/gui/automake.mk
@@ -48,10 +48,11 @@ UI_FILES = \
        src/ui/gui/var-type-dialog.ui
 
 
-doc/help-pages-list: $(UI_FILES)
+$(srcdir)/doc/help-pages-list: $(UI_FILES)
         cat $^ | grep '"help-page"' | \
    sed -e 's% *<property name="help-page">\([^<]*\)</property>%//*[@id='"'"'\1'"'"']%' \
        -e 's%#%'"'"']/*[@id='"'"'%g' > $@
+EXTRA_DIST += doc/help-pages-list
 
 
 EXTRA_DIST += \