Re: Local Preferences in Texinfo files

2013-02-10 Thread Karl Berry
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 The possibility of having a texinfo.cnf has been mentioned in the manual for umpteen years, since I first implemented it. Another idea to consider: If such lo

Local Preferences in Texinfo files

2013-02-09 Thread John Darrington
On Sat, Feb 09, 2013 at 10:48:53PM +, 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 t