888
888
# If a relative path is entered the value of OUTPUT_DIRECTORY will be
889
889
# put in front of it. If left blank `html' will be used as the default path.
893
893
# The HTML_FILE_EXTENSION tag can be used to specify the file extension for
894
894
# each generated HTML page (for example: .htm,.php,.asp). If it is left blank