X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdoc-make.in;h=dcd91e25d62508420486cff9ac879ca8f3bd163b;hb=4fd6d0378134d9653966258f44b0b0f8db15fbd5;hp=333dce83825b950e693a7b3973e20d549d46beb3;hpb=0e958ac80f5add8d0581c218badbdf9bddcde9bc;p=pspp

diff --git a/doc/doc-make.in b/doc/doc-make.in
index 333dce8382..dcd91e25d6 100644
--- a/doc/doc-make.in
+++ b/doc/doc-make.in
@@ -62,11 +62,11 @@ $(top_srcdir)/doc/screenshots/%-hc.xwd: src/ui/gui/psppire $(top_srcdir)/doc/scr
 
 
 %.png: %.xwd
-	convert $< $@
+	convert -strip $< $@
 
 %.eps: %.xwd
-	convert $< $@
-
+	convert -strip $< $@,tmp.eps
+	sed -e '/^%%CreationDate: /d' -e '/^%%Title: /s|$(top_srcdir)/||'  $@,tmp.eps > $@
 
 $(src_ui_gui_psppiredir)/%.ui: $(top_srcdir)/src/ui/gui/%.ui
 	@$(MKDIR_P) ${dir $@}