diff --git a/misc/devel/tidy.pl b/misc/devel/tidy.pl index 52fd732ca7..dd26b1e2bf 100755 --- a/misc/devel/tidy.pl +++ b/misc/devel/tidy.pl @@ -155,6 +155,8 @@ sub tidy_tt { $content =~ s###g; $content =~ s##
-->##g; + $content =~ s#\n*( *)\n*#\n$1\n#g; write_file( $file, $content ); } }