[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

reply via email to

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