diff options
| author | Gerald Pfeifer <gerald@pfeifer.com> | 2025-09-01 20:56:52 +0100 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@pfeifer.com> | 2025-09-01 20:58:02 +0100 |
| commit | 70954659527858fc9ffa2655b0dd5265c2453be8 (patch) | |
| tree | 4f81800444addf2dc1e2f67de377994081825f25 | |
| parent | a4d066f3643d3df5929425767130d68e8a775241 (diff) | |
| download | gcc-70954659527858fc9ffa2655b0dd5265c2453be8.zip gcc-70954659527858fc9ffa2655b0dd5265c2453be8.tar.gz gcc-70954659527858fc9ffa2655b0dd5265c2453be8.tar.bz2 | |
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.
| -rwxr-xr-x | maintainer-scripts/update_web_docs_libstdcxx_git | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/maintainer-scripts/update_web_docs_libstdcxx_git b/maintainer-scripts/update_web_docs_libstdcxx_git index 570e7ff..6fbf2f8 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 - |