X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fautomake.mk;h=59200b09a7dd6c6454ec2031eb6fb2ef1792ddc5;hb=a42ad5375c54d5910b79e6aef4a79e262d1d0277;hp=7f4d474f6bf6dcea223f92ae33b747698df791ac;hpb=b779cc2fe07d6e8e66aad413e4644e8e124c65ff;p=pspp

diff --git a/src/ui/gui/automake.mk b/src/ui/gui/automake.mk
index 7f4d474f6b..59200b09a7 100644
--- a/src/ui/gui/automake.mk
+++ b/src/ui/gui/automake.mk
@@ -47,7 +47,16 @@ UI_FILES = \
 	src/ui/gui/var-sheet.ui \
 	src/ui/gui/var-type-dialog.ui
 
+
+$(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 += \
+	src/ui/gui/memorandum.txt \
 	src/ui/gui/artwork/actions/.empty \
 	src/ui/gui/artwork/apps/scalable/.empty \
 	src/ui/gui/gen-dot-desktop.sh \
@@ -57,10 +66,10 @@ EXTRA_DIST += \
 
 if HAVE_GUI
 bin_PROGRAMS += src/ui/gui/psppire 
-noinst_PROGRAMS += src/ui/gui/spreadsheet-test
+noinst_PROGRAMS += src/ui/gui/spreadsheet-test 
 
-src_ui_gui_psppire_CFLAGS = $(GTK_CFLAGS) $(GTKSOURCEVIEW_CFLAGS) -Wall -DGDK_MULTIHEAD_SAFE=1
-src_ui_gui_spreadsheet_test_CFLAGS = $(GTK_CFLAGS) -Wall -DGDK_MULTIHEAD_SAFE=1
+src_ui_gui_psppire_CFLAGS = $(GTK_CFLAGS) $(GTKSOURCEVIEW_CFLAGS) -Wall -DGDK_MULTIHEAD_SAFE=1 
+src_ui_gui_spreadsheet_test_CFLAGS = $(GTK_CFLAGS) -Wall -DGDK_MULTIHEAD_SAFE=1 
 
 
 src_ui_gui_psppire_LDFLAGS = \
@@ -96,7 +105,6 @@ src_ui_gui_spreadsheet_test_LDADD = \
 
 src_ui_gui_spreadsheet_test_SOURCES = src/ui/gui/spreadsheet-test.c src/ui/gui/psppire-spreadsheet-model.c
 
-
 src_ui_gui_psppiredir = $(pkgdatadir)