lib/scripts/fig2png.py

   1 #! /usr/bin/env python
   2 # This script converts a xfig file into PNG files
   3
   4 import sys
   5 import os
   6
   7 filename = sys.argv[1]
   8 basename = os.path.splitext(filename)[0]
   9 parameters = sys.argv[2:]
  10
  11 pid = os.fork()
  12 if pid == 0:
  13         os.execvp("fig2dev", ["fig2dev", "-Lpng"] + parameters + [filename, basename + ".png"])
  14         print "fig2dev did not work"
  15         os.exit(1)
  16 os.wait()