https://gcc.gnu.org/g:70954659527858fc9ffa2655b0dd5265c2453be8
commit r16-3502-g70954659527858fc9ffa2655b0dd5265c2453be8
Author: Gerald Pfeifer <ger...@pfeifer.com>
Date: Mon Sep 1 20:56:52 2025 +0100
maintainer-scripts: Improve syncing of libstdc++ docs
rsync generally is a more commonly used tool for syncing data - among
others it retains time stamps and is able to remove orphaned files on
the receiver side.
We just need to exclude some directories and a symlink from being
removed as "orphaned", since they originate elsewhere.
maintainer-scripts:
* update_web_docs_libstdcxx_git: Copy our "inner" documentation
into the web area using rsync instead of cpio and remove orphaned
files.
Diff:
---
maintainer-scripts/update_web_docs_libstdcxx_git | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/maintainer-scripts/update_web_docs_libstdcxx_git
b/maintainer-scripts/update_web_docs_libstdcxx_git
index 570e7fffb134..6fbf2f84ecb7 100755
--- a/maintainer-scripts/update_web_docs_libstdcxx_git
+++ b/maintainer-scripts/update_web_docs_libstdcxx_git
@@ -35,8 +35,9 @@ cd $WORKDIR
git -C $GITROOT archive master $GETTHIS | tar xf -
cd $GETTHIS
-# copy the tree to the onlinedocs area, preserve directory structure
-find . -depth -print | cpio -pd $WWWDIR 2>&1 | egrep -v "$FILTER"
+# Copy the tree to the libstdc++ onlinedocs area and remove orphans (taking
+# care to keep some directories coming from a different source).
+rsync -ahv --delete-after -f '- /images/*' -f '- /libstdc*' -f '-
latest-doxygen' . $WWWDIR 2>&1 | egrep -v "$FILTER"
err=${PIPESTATUS[1]}
if [ $err -gt 0 ]; then
@@ -45,4 +46,3 @@ fi
cd /
/bin/rm -rf $WORKDIR
-
