@direntry
-* Autoconf Archive: (autoconf-archive). A collection of re-usable Autoconf macros.
+* Autoconf Archive: (autoconf-archive). A collection of re-usable Autoconf macros
@direntry
-* Autoconf Archive: (autoconf-archive). A collection of re-usable Autoconf macros.
+* Autoconf Archive: (autoconf-archive). A collection of re-usable Autoconf macros