# A little utility to make pdf files sized to the marking bbox

import os, sys

fni = sys.argv[1]
fno = sys.argv[2]
os.system('gs -dQUIET -dNOPAUSE -dBATCH -sDEVICE=bbox 2>/tmp/foobbox.ps ' + fni)
fi = file(fni)
fo = file('/tmp/foo2.ps', 'w')
fo.write(fi.readline())
for line in file('/tmp/foobbox.ps').readlines():
    fo.write(line)
for line in fi.xreadlines():
    fo.write(line)
fo.close()
os.system('ps2pdf -dEPSCrop /tmp/foo2.ps ' + fno)