|
| From: | Karl Berry |
| Subject: | Re: replace output format customization with TEXINFO_OUTPUT_FORMAT |
| Date: | Sat, 26 Jan 2013 22:28:14 GMT |
I am about to add TEXINFO_OUTPUT_FORMAT also as a customization variable Good! Will add it to the manual. k
| [Prev in Thread] | Current Thread | [Next in Thread] |