This is a really minuscule change, but it is more idiomatic to name the config file of doxygen as Doxyfile. JerryScript-DCO-1.0-Signed-off-by: Akos Kiss [email protected]
