gcc/maintainer-scripts at b5cd4ed4c3eb1db3d47e390a4546e2e8463a9a0c - gcc

mirror/gcc

mirror of git://gcc.gnu.org/git/gcc.git synced 2024-12-25 06:58:55 +08:00

History

Joseph Myers f488ffcb5d update_web_docs: Use makeinfo --html instead of texi2html. * update_web_docs: Use makeinfo --html instead of texi2html. Remove support for pre-3.1 GCC versions. Build online docs for gccint manual. From-SVN: r48120		2001-12-17 19:39:22 +00:00
..
ChangeLog	update_web_docs: Use makeinfo --html instead of texi2html.	2001-12-17 19:39:22 +00:00
crontab	gcc_release: Build snapshots from mainline.	2001-10-24 04:15:38 +01:00
doc_exclude
gcc_release	* gcc_release: Add /usr/local/bin to path when local.	2001-11-19 13:16:39 +00:00
README
update_version	update_version: Add command-line argument capability...	2001-06-25 19:26:25 +00:00
update_web_docs	update_web_docs: Use makeinfo --html instead of texi2html.	2001-12-17 19:39:22 +00:00
update_web_docs_libstdcxx
update_web_docs_old	update_web_docs_old: Copy from update_web_docs.	2001-12-17 17:35:01 +00:00

README

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 version.c.  There isn't presently any scheme for files
checked in here to be automatically checked out and used by gccadmin,
so the files in CVS and those used by gccadmin must be kept in sync
manually.