This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Patch to remove texinfo
On Dec 8, 2000, "Joseph S. Myers" <jsm28@cam.ac.uk> wrote:
> Should there then be a check that the version of in-tree texinfo is
> sufficient, or should be presume that people dropping it into the tree
> know what they're doing and will drop at least 4.0 in the tree (if a
> requirement for 4.0 is created, which I want to do)?
Since the texinfo tree wouldn't be built by the time GCC is
configured, it would be a tough call to require any testing. I'd
rather just expect the user to do the right think in this unlikely
case.
>> WRT INSTALL_INFO, not having it defined in configure is ok, but I'd
>> rather be able to override it in the `make install' command line, in
> INSTALL_INFO isn't the name of the install-info program - that's hardcoded
> in the Makefile.in - but rather the dependency of make install needed
> before the patch when the install-info target didn't allow for info files
> not being available, and so not needed after the patch.
Ah, I see. Ok, then.
--
Alexandre Oliva Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer aoliva@{cygnus.com, redhat.com}
CS PhD student at IC-Unicamp oliva@{lsd.ic.unicamp.br, gnu.org}
Free Software Evangelist *Please* write to mailing lists, not to me