[release] Use file extension for Doxygen only files.
Fixes FS#FS#1649. (cherry picked from commit 63256eeb) Signed-off-by:Carsten Gräser <graeser@dune-project.org>
File moved
File moved
Please register or sign in to comment
Fixes FS#FS#1649. (cherry picked from commit 63256eeb) Signed-off-by:Carsten Gräser <graeser@dune-project.org>