[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [help-texinfo] No index in PDF manual

From: Karl Berry
Subject: Re: [help-texinfo] No index in PDF manual
Date: Wed, 3 Apr 2019 16:18:28 -0600

Ok, I'll keep gnulib in sync with

    This could work I suppose, although it would make texinfo.tex more 
    complicated than it was, rather than simpler.

That desire not to make the already too-complicated code more
complicated, and the compatibility problem, is exactly why I never
changed the index character to be @.  Despite the problems with \,
which seemed rather minor by comparison.

    At least omitting the index makes the problem clear, instead of some TeX 
    error message being output when the user tries to run TeX, 

Wouldn't an error message be highly desirable as well as omission?

It is pretty easy not to notice that no index was generated. Few
authors, me included, are in the habit of checking whether a tool did
its job if no error is reported. Mere messages on the console are too
easily ignored. --best, karl.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]