X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdoc-make.in;h=dcd91e25d62508420486cff9ac879ca8f3bd163b;hb=refs%2Fheads%2Fctables10;hp=07eca7ba7252e8d0a5d4548124526b661b87fec6;hpb=1706024e6b33698826007ff096bde6e2dc10a79f;p=pspp

diff --git a/doc/doc-make.in b/doc/doc-make.in
index 07eca7ba72..dcd91e25d6 100644
--- a/doc/doc-make.in
+++ b/doc/doc-make.in
@@ -62,10 +62,10 @@ $(top_srcdir)/doc/screenshots/%-hc.xwd: src/ui/gui/psppire $(top_srcdir)/doc/scr
 
 
 %.png: %.xwd
-	convert $< $@
+	convert -strip $< $@
 
 %.eps: %.xwd
-	convert $< $@,tmp.eps
+	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