Set the version number in the texinfo manuals using configure.