--- autoconf.texi.orig	Sun Feb 27 11:18:10 2000 +++ autoconf.texi	Mon Mar 18 21:30:10 2002 @ -1,9 +1,10 @ - autoconf.info - Autoconf + autoconf-2.13.info + Autoconf-2.13 + Programming & development tools

@ -17,7 +18,7 @

      START-INFO-DIR-ENTRY
     -* Autoconf: (autoconf).         Create source code configuration scripts.
     +* Autoconf-2.13: (autoconf-2.13).   Create source code configuration scripts.
      END-INFO-DIR-ENTRY