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-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=3ff18111d4ddc8534a59a8a63a6e826b9fcaabd3;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 1decc34c86..dc25aa3c95 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-07 Bruno Haible