From 3ff18111d4ddc8534a59a8a63a6e826b9fcaabd3 Mon Sep 17 00:00:00 2001 From: =?utf8?q?P=C3=A1draig=20Brady?=
Date: Mon, 11 Sep 2023 19:31:53 +0100 Subject: [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 | 4 ++-- 2 files changed, 9 insertions(+), 2 deletions(-) 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