plastex/pgText

   1 #!/usr/bin/python
   2
   3 import sys
   4 from plasTeX.TeX import TeX
   5 from gutenberg import Renderer
   6
   7 doc = TeX(file=sys.argv[-1]).parse()
   8 doc.config['files']['split-level'] = -2
   9 doc.config['files']['filename'] = sys.argv[-1].split('.')[0]
  10
  11 Renderer().render(doc)
  12