> during the automatic manual builds, revcheck.html will now always be > built (even when that particular translation fails to build), and will > be put in place on the mirrors as /manual/LANG/revcheck.html.gz
I have also updated the http://php.net/de/rev style shortcut for the revcheck file to use "revcheck.html.gz" as the filename... BTW, Jim can you make .tar.gz builds of the manual to be online again? There were many requests regarding that, and we already agreed here on providing .tar.gz files again... Goba
