mirror of
https://github.com/gcc-mirror/gcc.git
synced 2026-05-06 14:59:39 +02:00
7095465952
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.
This directory contains various files used by the gccadmin account on gcc.gnu.org, mainly for automated tasks such as the daily update of the date in gcc/DATESTAMP. There isn't presently any scheme for files checked in here to be automatically checked out and used by gccadmin, so the files in Subversion and those used by gccadmin must be kept in sync manually.