doc.php.net: generation date improved