[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: makeinfo's HTML: @documentlanguage instead of $LANG
|
From: |
Karl Berry |
|
Subject: |
Re: makeinfo's HTML: @documentlanguage instead of $LANG |
|
Date: |
Fri, 28 Nov 2003 18:42:43 -0500 |
makeinfo should interpret @documentlanguage for HTML output rather
What do you mean by "for HTML output" specifically?
In general, yes, makeinfo should use @documentlanguage instead of $LANG
for almost all the hardwired words.
It's on the TODO list.
Thanks.