]> Savannah Git Hosting - gnulib.git/commit
gnu-web-doc-update: fix updating of manual directory
authorPádraig Brady <P@draigBrady.com>
Mon, 11 Sep 2023 18:31:53 +0000 (19:31 +0100)
committerPádraig Brady <P@draigBrady.com>
Mon, 11 Sep 2023 19:03:45 +0000 (20:03 +0100)
commit0e8fd2c0eed44dba1d39840a8733c9159220d671
tree0acb1d52911ca044671c2b4269b528a81702d783
parentafd0db41c354444438a53e3d82dd6815c27fdca1
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
build-aux/gnu-web-doc-update