Angus Leeming wrote: > Anyway, I take it you're happy for me to commit these changes to the > www-user site?
I just did it. Should propogate through to http://www.lyx.org/about/license.php3 http://www.lyx.org/about/blanket-permission.php http://www.lyx.org/about/credits.php soon enough. Attached is a script to generate CREDITS and blanket-permission.txt from these .php files. $ sh php_to_txt.sh credits.php CREDITS $ sh php_to_txt.sh blanket-permission.php Permission (The second arg is the title of the page.) Output to stdout Note that generating CREDITS in this way means that the email addresses will automatically be kept in sync with the entries in the blanket file because credits.php and blanket-permission.php draw the contributers' names and email addresses from a common repository. -- Angus
php_to_txt.sh
Description: application/shellscript
