[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Info pages opened with an incorrect coding system
From: |
Eli Zaretskii |
Subject: |
Re: Info pages opened with an incorrect coding system |
Date: |
Sun, 08 Jul 2007 06:11:09 +0300 |
> Date: Sat, 7 Jul 2007 16:42:05 -0500
> From: address@hidden (Karl Berry)
> Cc: address@hidden, address@hidden, address@hidden
>
> If you use the @documentencoding command in the Texinfo source, and
> then specify --enable-encoding to makeinfo, the resulting Info
> file(s) will contain a Local Variables section setting the `coding'
> variable.
Btw, why the need to specify --enable-encoding? Why don't makeinfo
process @documentencoding by default?
The problem with the command-line switch is that older versions of
makeinfo will refuse to go ahead when an unknown to them switch is
specified on the command line, whereas an unknown directive can be
ignored by specifying --force (which we already do in Emacs).
- Re: Info pages opened with an incorrect coding system, (continued)
- Re: Info pages opened with an incorrect coding system, Eli Zaretskii, 2007/07/14
- Re: Info pages opened with an incorrect coding system, Kenichi Handa, 2007/07/16
- Re: Info pages opened with an incorrect coding system, Richard Stallman, 2007/07/06
- Re: Info pages opened with an incorrect coding system, Zhang Wei, 2007/07/06
- Re: Info pages opened with an incorrect coding system, Richard Stallman, 2007/07/07
- Re: Info pages opened with an incorrect coding system, Eli Zaretskii, 2007/07/07
- Re: Info pages opened with an incorrect coding system, Richard Stallman, 2007/07/08
- Re: Info pages opened with an incorrect coding system, Eli Zaretskii, 2007/07/09
- Re: Info pages opened with an incorrect coding system, Richard Stallman, 2007/07/09
- Re: Info pages opened with an incorrect coding system, Karl Berry, 2007/07/07
- Re: Info pages opened with an incorrect coding system,
Eli Zaretskii <=
- Re: Info pages opened with an incorrect coding system, Richard Stallman, 2007/07/08
- Re: Info pages opened with an incorrect coding system, Karl Berry, 2007/07/08
- Re: Info pages opened with an incorrect coding system, Eli Zaretskii, 2007/07/09
- Re: Info pages opened with an incorrect coding system, Karl Berry, 2007/07/09
- Re: Info pages opened with an incorrect coding system, Eli Zaretskii, 2007/07/10
- Re: Info pages opened with an incorrect coding system, Karl Berry, 2007/07/10
- Re: Info pages opened with an incorrect coding system, Eli Zaretskii, 2007/07/10
Re: Info pages opened with an incorrect coding system, Richard Stallman, 2007/07/04