]> gcc.gnu.org Git - gcc.git/commitdiff
configure.in: Don't define INSTALL_INFO.
authorJoseph Myers <jsm28@cam.ac.uk>
Fri, 8 Dec 2000 22:54:06 +0000 (22:54 +0000)
committerJoseph Myers <jsm28@gcc.gnu.org>
Fri, 8 Dec 2000 22:54:06 +0000 (22:54 +0000)
* configure.in: Don't define INSTALL_INFO.
* configure: Regenerate.
* Makefile.in (INSTALL_INFO): Remove.
(info): Depend on info files in source directory.
(cpp.info, gcc.info, c-tree.info): Build info files in source
directory.
(distclean): Don't remove info files.
(maintainer-clean): Remove info files from source directory.
(install-normal): Depend on install-info.
(install-info): Install info files from source directory, if they
exist.
* texinfo.tex: Update to version 2000-11-09.08 from ftp.gnu.org.

ch:
* Make-lang.in (CHILL.info): Depend on info files in source
directory.
(ch/chill.info): Build info files in source directory.
(CHILL.install-info): Install info files from source directory.

f:
* Make-lang.in (f77.info): Depend on info files in source
directory.
(f/g77.info): Build info files in source directory; don't build
them unless BUILD_INFO is "info".
(f77.install-info): Install info files from source directory.

From-SVN: r38141


No differences found
This page took 0.054196 seconds and 5 git commands to generate.