Re: Make install error...

[Pavel Roskin]

Hello!

> checking for mawk... (cached) nawk

You must be running a commercial UNIX.
What OS is it?

> cp: cannot create /usr/local/info/#inst.18876#: Permission denied
> cp: cannot create /usr/local/info/#inst.18886#: Permission denied
> make: *** [install-info] Error 2
>
> I'm as root.  What's wrong?

I think some OS'es respect permissions for root. Make sure that:

1) /usr/local/info exists (please tell us if it doesn't - it must be an
Autoconf bug then).
2) Filenames with '#' are allowed on the filesystem where /usr/local/info
resides (I would not rule out problems with e.g. NFS)
3) As a final test, run
touch "/usr/local/info/#inst.18876#"

Regards,
Pavel Roskin