| 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 | |
| the repository and those used by gccadmin must be kept in sync | |
| manually. |