diff --git a/bin/tools/doxyFilter.sed b/bin/tools/doxyFilter.sed index 9fd65302d1..a0e6e4ff40 100644 --- a/bin/tools/doxyFilter.sed +++ b/bin/tools/doxyFilter.sed @@ -165,6 +165,9 @@ s/.*\*\//\*\// # convert /heading in source files to bold font and add some space s#\\heading \(.*\)#
\1#g +# add a linebreak +s#\\linebreak#
#g + } # -----------------------------------------------------------------------------