Tomi Ollila <tomi.ollila@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