mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2024-12-21 14:29:55 +08:00
Code Issues Packages Projects Releases Wiki Activity
c8af993772
gcc/maintainer-scripts
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_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.