Update gen_doc.php