diff --git a/bin/tools/doxyFilter.sed b/bin/tools/doxyFilter.sed index a1a99ace26..3e6e921b14 100644 --- a/bin/tools/doxyFilter.sed +++ b/bin/tools/doxyFilter.sed @@ -172,8 +172,9 @@ s/<\/li>\n/<\/li> / s? *\([a-zA-Z0-9]*\.[a-zA-Z]*\)?
  • \1
  • ? } - s/.*\*\//\*\// +} + #------------------------------------------------------------------------------