Closed svenefftinge closed 13 years ago
Currently the names of the output files are ghard coded to "out.*". We should instead use the document's name.
fixed, now using documents name for generated pdf/latex files
Currently the names of the output files are ghard coded to "out.*". We should instead use the document's name.