texinfo-devel
[Top][All Lists]
Advanced

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

Re: replace output format customization with TEXINFO_OUTPUT_FORMAT


From: Patrice Dumas
Subject: Re: replace output format customization with TEXINFO_OUTPUT_FORMAT
Date: Sat, 26 Jan 2013 23:52:13 +0100
User-agent: Mutt/1.5.20 (2009-12-10)

On Sat, Jan 26, 2013 at 10:28:14PM +0000, Karl Berry wrote:
>     I am about to add TEXINFO_OUTPUT_FORMAT also as a customization variable
> 
> Good!
> 
> Will add it to the manual.

So, I remove all the formats specific customization variables?

-- 
Pat



reply via email to

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