[PATCH v5] don't keep a gdb-specific date

[Joel Brobecker]

> IMO, it'd make sense to push a very light/simple "VERSION" file
> that only has the date and nothing else, like
> 
> $ cat src/VERSION
> 20130625
> $
> 
> to the top level.  Then any project in the tree could source that
> single file any way it saw fit.

That would work for me. We would need to check if this is going
to cause synchronization problems with GCC (I think there is a
script somewhere that sends emails, which we'd want to adapt in
order to exclude this file).

-- 
Joel