diff --git a/webrev.sh b/webrev.sh old mode 100644 new mode 100755 index a28e90e..8be9502 --- a/webrev.sh +++ b/webrev.sh @@ -1,4 +1,4 @@ -#!/usr/bin/ksh93 -p +#!/usr/bin/env -S ksh -p # # CDDL HEADER START # @@ -92,7 +92,7 @@ div.summary table th { white-space: nowrap; } span.lineschanged { - font-size: 0.7em; + font-size: 1em; } span.oldmarker { color: red; @@ -1700,7 +1700,7 @@ diff_to_html() /^\*\*\* old/ { next } /^\*\*\*\*/ { next } /^-------/ { printf "
\n"; + /^@@.*@@$/ { printf "
\n";
printf "%s\n", $0;
next}
@@ -1736,40 +1736,6 @@ source_to_html()
print "