Hi, yesterday I had to rebuild the docs on rsync.php.net so we got some php 5.6.0 related doc fixed out sooner than the weekly build today, and I'm just wondering if there is still a reason to only rebuild the documentation on once a week. a successful build seems to take about 40 minutes, and we currently have 11 active languages, so the full rebuild (when all langs can be built successfuly, yesterday we had 6 broken lang, pt_BR, zh, de, it, ru, tr) takes about 7.3 hours.
and here comes my question: is there any reason why should we just rebuild the docs every day? http://docs.php.net/ seems to be able to handle that just fine for years now. -- Ferenc Kovács @Tyr43l - http://tyrael.hu
