1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/devel/list-versions	Fri Jul 23 11:46:08 2010 +0200
     1.3 @@ -0,0 +1,13 @@
     1.4 +#!/bin/sh
     1.5 +#
     1.6 +# list the version numbers in several important files
     1.7 +# run this script before generating a release
     1.8 +
     1.9 +(
    1.10 +grep '^AC_INIT' /dev/null configure.*
    1.11 +printf "Changelog:"
    1.12 +sed -n '/^[0-9]\.[0-9]\{1,\}\.[0-9]\{1,\}/{p;q}' ChangeLog
    1.13 +printf "NEWS:"
    1.14 +sed -n '/^[0-9]\.[0-9]\{1,\}\.[0-9]\{1,\}/{p;q}' NEWS
    1.15 +grep '^\.TH' /dev/null man/*.[0-9]
    1.16 +) | sed 's~\([^:]*\):.*\([0-9]\.[0-9]\{1,\}\.[0-9]\{1,\}\).*~\2 \1~'