diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/pgcvslog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/tools/pgcvslog b/src/tools/pgcvslog index 3dc58febe95..3e3ca138571 100755 --- a/src/tools/pgcvslog +++ b/src/tools/pgcvslog @@ -51,6 +51,12 @@ awk ' BEGIN {html="'"$HTML"'"; lineno = 0;} # store working directory $0 ~ /^Working file:/ {workingfile = "/" $3} + # no need to show TODO or FAQ changes in the output + $0 !~ /^====*$/ && + (workingfile == "/doc/TODO" || workingfile == "/doc/src/FAQ/TODO.html" || + workingfile == "/doc/FAQ" || workingfile == "/doc/src/FAQ/FAQ.html") \ + {next} + ($0 ~ /^====*$/ || $0 ~ /^----*$/) \ { # print blank line to separate entries |