> Well, as far as I can see, this would fit into our system... It would be > nice if you could test, how much time it takes to highlight the > examples, but anyway, I think it should go into the makefile...
For HTML version, it takes about 6.5 s on my 1.7 GHz machine, 3593 files checked, 966 changed. PHP version should be faster a bit as it only adds some string and does not need to syntax highlight itself. I'm shy a bit to commit Makefile myself but I encouraged last :-). Jakub Vrana
