Makefile.in (TEXI_GCCINT_FILES): Add libgcc.texi.

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)

From-SVN: r64673

diff --git a/gcc/Makefile.in b/gcc/Makefile.in
index f2c23fb98688560188350e75e2c2126aca313d37..d062a6e4e790dc83658c286cf9f727c794ef6f5c 100644 (file)
--- a/gcc/Makefile.in
+++ b/gcc/Makefile.in
@@ -2630,7 +2630,7 @@ TEXI_GCCINT_FILES = $(docdir)/gccint.texi \
         $(docdir)/gnu.texi $(docdir)/include/gpl.texi \
         $(docdir)/include/fdl.texi $(docdir)/contrib.texi \
         $(docdir)/languages.texi $(docdir)/sourcebuild.texi \
-        $(docdir)/gty.texi
+        $(docdir)/gty.texi $(docdir)/libgcc.texi
 
 TEXI_GCCINSTALL_FILES = $(docdir)/install.texi $(docdir)/install-old.texi \
         $(docdir)/include/fdl.texi