CVS versions of gdb have same number as stable version.

[Andrew Cagney]

> No, I meant gdb snapshots.  I don't know how GDB snapshots are made,
> but my local GDB repository, which was last sync'd with the 20010108
> snapshot has VERSION=20010108 in gdb/Makefile.in.

Just FYI, a magic shell script does roughly the following:

	cvs co -D 2001-01-08-gmt gdb
	ed src/gdb/Makefile.in
	s/VERSION = .*/VERSION = NNNNNN/
	wq

It is magic because the master copy sits on my local disk outside of
revision control :-(

	Andrew