On Mon, 23 Apr 2007, Bo Peng wrote:
Also clean_dvi.py ==> CleanDvi.py, not CleanVi.py.
Attached is yet another version. Maybe I should put it in svn so that
others can make changes?
Or on a wiki page. If you use a wiki page, you could do it like this to
preserve whitespace and use a monospace font:
white-space=pre font-family=monospace<<
<place the script here>
<<
/C
PS. And for those of us who are paranoid, remember to check the history of
the page before actually using the script - in case some malicious person
was there and did something fishy.
--
Christian Ridderström, +46-8-768 39 44 http://www.md.kth.se/~chr
