diff --git a/bin/doxyScr b/bin/doxyScr index d9ea8168a6..da9dc8c8d9 100644 --- a/bin/doxyScr +++ b/bin/doxyScr @@ -131,7 +131,8 @@ s/^ // /SourceFiles/,/^[ ]*$/{ s?SourceFiles?@par Source files\ -