[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: @documentencoding
|
From: |
Alper Ersoy |
|
Subject: |
Re: @documentencoding |
|
Date: |
Sat, 28 Feb 2004 14:56:20 +0200 |
|
User-agent: |
Mutt/1.4.1i |
Jesper Harder:
> If the encoding specified by @documentencoding isn't one of the
> supported encodings it would be useful to warn, but use the encoding
> in the meta-tag in HTML and the coding cookie in Info anyway.
Thanks. I just committed this change. (Also applies to XML.)
One note, is there any other coding cookies in Info other than the one
in Local Variables section?
--
Alper Ersoy