Process tex files produced by the TeX backend of Jade