gcc/gcc Makefile.in

[zack@gcc.gnu.org]

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	zack@gcc.gnu.org	2003-03-21 17:20:55

Modified files:
	gcc            : Makefile.in 

Log message:
	2003-03-15  Aldy Hernandez <aldyh@redhat.com>
	Zack Weinberg  <zack@codesourcery.com>
	
	* Makefile.in (TEXI_GCCINT_FILES): Add libgcc.texi.
	* doc/libgcc.texi: New file.
	* doc/interface.texi: Delete paragraph about libgcc interface.
	* doc/gccint.texi: Add libgcc menu entry and @include libgcc.texi.
	
	(oops, left out of previous checkout)

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/Makefile.in.diff?cvsroot=gcc&r1=1.1023&r2=1.1024