From: Pádraig Brady
Date: Mon, 11 Sep 2023 18:31:53 +0000 (+0100) Subject: gnu-web-doc-update: fix updating of manual directory X-Git-Tag: v1.0~786 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=0e8fd2c0eed44dba1d39840a8733c9159220d671;p=gnulib.git 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. --- diff --git a/ChangeLog b/ChangeLog index 88e1d80ce7..ac57b7b5bc 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2023-09-11 Pádraig Brady
+
+ gnu-web-doc-update: fix updating of manual directory
+ * build-aux/gnu-web-doc-update: Change to the 'manual' directory,
+ since $tmp is a relative path. This avoids removing files
+ outside of the 'manual' directory.
+
2023-09-10 Bruno Haible