Editing: generate_docs.php