Fix script generate_documentation.sh