4 [ "$f" = "common.gnuplot" ] && continue
12 # Strip out PDF metadata which includes identifying usernames
13 sed -e $'/^SDict begin/,/^end/ {\n /^ \/.*(/d\n}' \
14 -e '/^%%\(Title\|CreationDate\)/d' <$f >$f.tmp
16 epstopdf --noembed --outfile=${f%.eps}.pdf $f.tmp