Re: error module should depend on progname

[Paul Eggert]

Thanks, but the file doc/error.texi explains why the error module
does not depend on the progname module.