On 3.04.05, Angus Leeming wrote: > I've written a python script (attached) to convert lib/CREDITS to a > web page. See > http://www.devel.lyx.org/~leeming/www-user/about/credits.php
Just a question... If your destination is a PHP script, why not parse the CREDITS file with PHP? Guenter -- G.Milde web.de
