On Mon, 2007-10-01 at 22:36 +0800, Yongwei Wu wrote:
> I mean, which is the official position where I can grab the version
> number (instead of running autoreconf)?

The official version number for GNU make is kept in the configure.in
file, here:

        AC_INIT([GNU make],[3.81],[EMAIL PROTECTED])

All other instances of the version, including the one in the GNU make
manual, are derived from this.

Cheers!

-- 
-------------------------------------------------------------------------------
 Paul D. Smith <[EMAIL PROTECTED]>          Find some GNU make tips at:
 http://www.gnu.org                      http://make.mad-scientist.us
 "Please remain calm...I may be mad, but I am a professional." --Mad Scientist


_______________________________________________
Make-w32 mailing list
Make-w32@gnu.org
http://lists.gnu.org/mailman/listinfo/make-w32

Reply via email to