sed -e '/^%%CreationDate: /d' -e '/^%%Title: /s|$(top_srcdir)/||' $@,tmp.eps > $@
$(src_ui_gui_psppiredir)/%.ui: $(top_srcdir)/src/ui/gui/%.ui
sed -e '/^%%CreationDate: /d' -e '/^%%Title: /s|$(top_srcdir)/||' $@,tmp.eps > $@
$(src_ui_gui_psppiredir)/%.ui: $(top_srcdir)/src/ui/gui/%.ui