Local Preferences in Texinfo files

[John Darrington]

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