mirror of
https://forge.sourceware.org/marek/gcc.git
synced 2026-02-22 20:01:31 -05:00
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.
1.4 KiB
Executable File
1.4 KiB
Executable File