the two files to update are originalafter.js, which contains most of the
code, and manual_en_contents.txt, which contains a listing of all the files
in the /manual/en/ directory (the function list is produced from that).
After you edit either, run make to get a new functions.js.
Don't touch before.js and middle.js, as they don't end with a new line and
should stay that way.
See Makefile for what happens where. Basically, the names of functions are extracted from the directory listing and compressed, the javascript is obfuscated (whitespace and comments removed, and variables get shorter names), and everything is put together into functions.js.
You should probably add some keywords to processafter.php if you edit the javascript, as all the words that must not be changed must be listed there.
Ah, this explains much. I will look at the whole generating system then. Thanks for the explanation. I will probably try and integrate it into phpdoc.
Goba
