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 changed, 8 insertions(+), 1 deletion(-)

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  
 
Fix clang errors "different exception specifier" (regr. 2023-09-04).
diff --git a/build-aux/gnu-web-doc-update b/build-aux/gnu-web-doc-update
index a804031a43..dc13b476ae 100755
--- a/build-aux/gnu-web-doc-update
+++ b/build-aux/gnu-web-doc-update
@@ -182,7 +182,7 @@ $RSYNC -avP "$builddir"/doc/manual/ $tmp/$pkg/manual
   cd $tmp/$pkg
   test -d manual/CVS || $dryrun $CVS add -ko manual
 
-  cd $tmp/$pkg/manual
+  cd manual
 
   # Add all the files.  This is simpler than trying to add only the
   # new ones because of new directories
-- 
2.41.0