Re: [PATCH] gnu-web-doc-update: fix updating of manual directory
Pádraig Brady wrote: > + since $tmp is a relative path. Thanks for the correction!
[PATCH] gnu-web-doc-update: fix updating of manual directory
* build-aux/gnu-web-doc-update: Correctly change to the 'manual' directory, since $tmp is a relative path. This avoids removing files outside of the 'manual' directory. Broken since commit e979787d. --- ChangeLog| 7 +++ build-aux/gnu-web-doc-update | 2 +- 2 files