On 07/04/2012 01:53 AM, Scott Kostyshak wrote:
From: Richard Heck [rgh...@comcast.net]
Sent: Thursday, May 03, 2012 5:33 PM
Come to think of it, this is something that should be done during
reconfiguration, or whenever we all the TeXFiles.py script, so it can
just be done in that script. Presumably, there is some python module
that would allow us to do this.
Richard, is this something you can put on your todo list? Should I make a trac
ticket and summarize the discussion in this conversation?
Yes, please.
rh
