doc/Doxyfile.extra.in: new file