On Sat, Feb 09, 2013 at 10:48:53PM +0000, Karl Berry wrote:
A texinfo.cnf file is already read for this purpose but nobody uses it
(that I've ever heard).
I put an option -t into texi2dvi a couple of decades ago to allow adding
local-preference commands without altering the source, but I fear it
won't work to override things already in the document, since it adds the
commands after @setfilename. I could add yet another option to add them
in yet another place, but I doubt that would be reliable either.
The only thing that really works is for people not to ensconce their
local preferences in the source file.
Yes, I agree. So maybe it would be a good idea to put a sentance or two to that effect into the Texinfo manual - perhaps it is already there - I've not read the latest version. Another idea to consider: If such local prefs appear in the source file, makeinfo and texi2dvi could emit a warning. J' -- PGP Public key ID: 1024D/2DE827B3 fingerprint = 8797 A26D 0854 2EAB 0285 A290 8A67 719C 2DE8 27B3 See http://keys.gnupg.net or any PGP keyserver for public key.
signature.asc
Description: Digital signature
