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? Thanks, Scott