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

2023-09-11 Thread Bruno Haible
Pádraig Brady wrote: > + since $tmp is a relative path. Thanks for the correction!

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

2023-09-11 Thread Pádraig Brady
* 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