2.5.1: 2004-06-08 Murray Cumming * tools/extra_defs_gen/Makefile.am, configure.in: Use 2.4 gmmproc and extradefsgen libs rather than the 2.3 one. 2004-02-13 Murray Cumming * build_shared/: Removed the now-useless mergecdocs arg. 2.5.0: