[autoconf-conversion] Updating top-level files for automake

[Paolo Bonzini]

> > > +         You can get \`$1Help2man' as part of \`Autoconf' from any
GNU
> >
> > This is a typo BTW.
>
> /What/ is a typo?  And should we change it?

$1Help2man.  It should be changed to $1 (but it is only help text).

Paolo