+ src/ui/gui/var-type-dialog.ui \
+ src/ui/gui/weight.ui
+
+
+$(top_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
+