Problems with texinfo 4.1 on mainline/3.3

Alexandre Oliva aoliva@redhat.com
Mon Jan 13 05:17:00 GMT 2003


On Jan  1, 2003, Andreas Jaeger <aj@suse.de> wrote:

> "Joseph S. Myers" <jsm28@cam.ac.uk> writes:
>> On Wed, 1 Jan 2003, Andreas Jaeger wrote:
>> 
>>> Am I forced to upgrade or is a make rule missing for this case?
>> 
>> The treelang Make-lang.in should be changed to follow others (e.g. java,
>> f) in disabling building info if BUILD_INFO isn't set to indicate it

> Like the appended patch?  I just tested it with make treelang.info.
> Ok to commit for 3.3 and mainline?

Unfortunately, even though the patch follows existing practice in
other front-ends, they're all wrong.

This change would cause `make info' to not attempt to generate info
files for the front-ends, like it does for cpp, gcc and gccint, even
if using an old version of makeinfo.

It seems to me that the correct patch would instead remove the
dependency on the info files from the front-end install-info rules,
and then, to avoid problems with make -j install, replace those
dependencies with doc, such that, if info files are to be generated,
doc depends on info depends on lang.info depends on <frontend>.info
depends on the front-end info files.

If you'd rather have more accurate dependencies for make -j install,
to avoid stalling the install of info files, you may want to try
instead having the <frontend>.install-info depend on
<frontend>.$(BUILD_INFO), defining a phony <frontend>. target for the
case of an empty BUILD_INFO.

-- 
Alexandre Oliva   Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer                 aoliva@{redhat.com, gcc.gnu.org}
CS PhD student at IC-Unicamp        oliva@{lsd.ic.unicamp.br, gnu.org}
Free Software Evangelist                Professional serial bug killer



More information about the Gcc-bugs mailing list