* update_web_docs: Allow for the same file name in different
[official-gcc.git] / maintainer-scripts / 
tree510038f75cbf9bd06f667cfab08847887a6d3750
drwxr-xr-x   ..
-rw-r--r-- 3418 ChangeLog
-rw-r--r-- 353 README
-rw-r--r-- 325 crontab
-rw-r--r-- 12 doc_exclude
-rwxr-xr-x 18363 gcc_release
-rwxr-xr-x 1054 update_version
-rwxr-xr-x 4452 update_web_docs
-rwxr-xr-x 1575 update_web_docs_libstdcxx