[doc/gdbint.texinfo] \xdef\manvers{\$Revision: 1.142 $}

[Andrew Cagney]

> Without researching it, I'll guess that this is old junk that Gilmore
> added long ago, on the theory that cvs commits would result in a new
> version number that could show up in a formatted manual.  Of course,
> since it's for TeX only, doesn't help with info files, web pages (the
> web not yet having been invented at the time!), etc.
> 
> It would be maximally careful to check that the macro isn't secretly
> referenced inside texinfo.tex, but other than that I don't know of a
> reason not to just whack this.



Since neither Eli nor you could find a reason for it, I'm going to wack 
it (real soon now).

	Andrew