[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Nicer looking Info - html manual +css
From: |
Eli Zaretskii |
Subject: |
Re: Nicer looking Info - html manual +css |
Date: |
Sun, 19 Jan 2020 18:38:43 +0200 |
> Date: Sun, 19 Jan 2020 15:53:31 +0000 (GMT)
> From: ndame <address@hidden>
> Cc: "address@hidden" <address@hidden>,
> "address@hidden" <address@hidden>
>
> So if I'm not mistaken when the emacs info files are created, the
> @example tag is dropped completely from the output.
Yes.
> If this is the
> case then it could be better to keep the @example tags in some form in
> the emacs info output too and hide them with a face, for example.
If this is what you propose, then you should discuss this with the
Texinfo developers, not with Emacs developers. We don't develop and
don't maintain the tools used to produce the Info manuals from their
Texinfo sources. We just write the Texinfo sources and then invoke
the Texinfo processors to produce the Info format.
- Nicer looking Info - Re: html manual +css, ndame, 2020/01/17
- Re: Nicer looking Info - Re: html manual +css, Jean-Christophe Helary, 2020/01/17
- Re: Nicer looking Info - html manual +css, ndame, 2020/01/18
- Re: Nicer looking Info - html manual +css, Stefan Kangas, 2020/01/18
- Re: Nicer looking Info - html manual +css, ndame, 2020/01/19
- Re: Nicer looking Info - html manual +css, Eli Zaretskii, 2020/01/19
- Re: Nicer looking Info - html manual +css, ndame, 2020/01/19
- Re: Nicer looking Info - html manual +css,
Eli Zaretskii <=
- Re: Nicer looking Info - html manual +css, ndame, 2020/01/19
- Re: Nicer looking Info - html manual +css, Eli Zaretskii, 2020/01/19
- Re: Nicer looking Info - html manual +css, Yuan Fu, 2020/01/19
- Re: Nicer looking Info - html manual +css, Eli Zaretskii, 2020/01/19