From 13f98b69017c92d53140ccc745c46114802d5229 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 9 Mar 2015 19:45:32 -0700
Subject: [PATCH] help-pages-list: Distribute.

Otherwise "make distcheck" will have to regenerate it, which means
that it will have to regenerate doc/pspp.xml (because it depends on
help-pages-list) but that's not possible under "make distcheck"
because it makes the source directory read-only.

Found by PSPP autobuilder.
---
 src/ui/gui/automake.mk | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/ui/gui/automake.mk b/src/ui/gui/automake.mk
index 65f45f8f98..1b3acc3c59 100644
--- 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 += \
-- 
2.30.2