[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Changes to Texinfo DTD
From: |
Eli Zaretskii |
Subject: |
Re: Changes to Texinfo DTD |
Date: |
Sat, 06 Dec 2003 19:11:07 +0200 |
> Date: Sat, 6 Dec 2003 17:11:20 +0100 (MET)
> From: "Alfred M. Szmidt" <address@hidden>
>
> In practice, you could also go another route -- and let makeinfo
> produce two files, a .info and a .markup file. The .info file will
> be identical to what we have today, while the .markup file will
> contain a simple list of "tagging info" for the .info file, which
> reflects what @-commands were used to produce each part of the
> .info file.
>
> If going that route, don't make it a seperate file. Instead make it
> something similar to the "tag table" which exists in info files
> already; and call it "markup table".
But that would break old versions of the standalone reader, right?
The whole point of Kim's suggestion was to make a change that cannot
possibly break old versions of Info.
- Re: Changes to Texinfo DTD, (continued)
- Re: Changes to Texinfo DTD, Luc Teirlinck, 2003/12/03
- Re: Changes to Texinfo DTD, Eli Zaretskii, 2003/12/04
- Re: Changes to Texinfo DTD, Oliver Scholz, 2003/12/04
- Re: Changes to Texinfo DTD, Oliver Scholz, 2003/12/04
- Re: Changes to Texinfo DTD, Eli Zaretskii, 2003/12/04
- Re: Changes to Texinfo DTD, Oliver Scholz, 2003/12/04
- Re: Changes to Texinfo DTD, Robert J. Chassell, 2003/12/04
- Re: Changes to Texinfo DTD, Richard Stallman, 2003/12/04
- Re: Changes to Texinfo DTD, Kim F. Storm, 2003/12/05
- Re: Changes to Texinfo DTD, Alfred M. Szmidt, 2003/12/06
- Re: Changes to Texinfo DTD,
Eli Zaretskii <=
- Re: Changes to Texinfo DTD, Alfred M. Szmidt, 2003/12/09
- Re: Changes to Texinfo DTD, Eli Zaretskii, 2003/12/10
- Re: Changes to Texinfo DTD, Luc Teirlinck, 2003/12/03
- Re: Changes to Texinfo DTD, Eli Zaretskii, 2003/12/04
Re: Changes to Texinfo DTD, Karl Berry, 2003/12/04
Re: Changes to Texinfo DTD, Karl Berry, 2003/12/04
Re: Changes to Texinfo DTD, Karl Berry, 2003/12/04
Re: Changes to Texinfo DTD, Karl Berry, 2003/12/04
Re: Changes to Texinfo DTD, Karl Berry, 2003/12/05