Strange dirmngr info file

[Peter Eisentraut]

Werner Koch wrote:
> This has been fixed
>
> 2005-10-20  Marcus Brinkmann
>
> 	* doc/dirmngr.texi: Fix direntry.  Thanks to Rex Dieter.
>
> and thus should be in 0.9.3 released on the 26th.

But it's not.  This is what dirmngr 0.9.3 contains:

This is dirmngr.info, produced by makeinfo version 4.7 from
dirmngr.texi.

   This manual is for Dirmngr (version 0.9.3, 3 September 2005), which
is an X.509 CRL and OCSP manager.

   Copyright (C) 2002 Klarälvdalens Datakonsult AB

   Copyright (C) 2004 g10 Code GmbH

     Permission is granted to copy, distribute and/or modify this
     document under the terms of the GNU General Public License as
     published by the Free Software Foundation; either version 2 of the
     License, or (at your option) any later version. The text of the
     license can be found in the section entitled "Copying".

INFO-DIR-SECTION GNU Utilities
START-INFO-DIR-ENTRY
* dirmngr: (gnupg).        X.509 CRL and OCSP server.
* dirmngr-client: (gnupg). X.509 CRL and OCSP client.
END-INFO-DIR-ENTRY