[PATCH 1/1] devel/release-checks.sh: added check that 1st NEWS header is tidy

[David Bremner]

Tomi Ollila <tomi.ollila at iki.fi> writes:

> +echo -n "Checking that NEWS header is tidy... "
> +if [ "`exec sed 's/./=/g; 1q' NEWS`" = "`exec sed '1d; 2q' NEWS`" ]

This patch seems OK to me, although the execs might be a bit overkill
for a script that is run once ever few months.

d