Re: [PATCH] gnu-web-doc-update: fix updating of manual directory

[Bruno Haible]

Pádraig Brady wrote:
> +     since $tmp is a relative path.

Thanks for the correction!