[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Using Org as the source format to generate org.texi
From: |
Eli Zaretskii |
Subject: |
Re: Using Org as the source format to generate org.texi |
Date: |
Tue, 13 Mar 2018 19:43:38 +0200 |
> From: Nicolas Goaziou <address@hidden>
> Cc: address@hidden, address@hidden, address@hidden
> Date: Tue, 13 Mar 2018 18:24:44 +0100
>
> > I don't think this can be a reliable solution, because there are many
> > more keys we use in the manuals, like HOME, END, LEFT, RIGHT, UP,
> > DOWN, PageUp, PageDown, NEXT, PRIOR, EDIT, F1, etc. We can never
> > reliably hard-code any fixed list and hope to get away with it.
>
> It's enough if we can get away with it 99% of the time. For the other
> 1%, we can write raw Texinfo in the Org document. I can extract
> a reasonable list from the Emacs Texinfo files.
Personally, it would confuse me a lot to have to use kbd for both @kbd
and @key. But that's me.
- Re: Using Org as the source format to generate org.texi, (continued)
- Re: Using Org as the source format to generate org.texi, Richard Stallman, 2018/03/11
- Re: Using Org as the source format to generate org.texi, Nicolas Goaziou, 2018/03/12
- Re: Using Org as the source format to generate org.texi, Eli Zaretskii, 2018/03/12
- Re: Using Org as the source format to generate org.texi, Nicolas Goaziou, 2018/03/12
- Re: Using Org as the source format to generate org.texi, Eli Zaretskii, 2018/03/12
- Re: Using Org as the source format to generate org.texi, Nicolas Goaziou, 2018/03/12
- Re: Using Org as the source format to generate org.texi, Eli Zaretskii, 2018/03/12
- Re: Using Org as the source format to generate org.texi, Nicolas Goaziou, 2018/03/12
- Re: Using Org as the source format to generate org.texi, Eli Zaretskii, 2018/03/13
- Re: Using Org as the source format to generate org.texi, Nicolas Goaziou, 2018/03/13
- Re: Using Org as the source format to generate org.texi,
Eli Zaretskii <=
- Re: Using Org as the source format to generate org.texi, Nicolas Goaziou, 2018/03/13
Re: Using Org as the source format to generate org.texi, Paul Eggert, 2018/03/06
- Re: Using Org as the source format to generate org.texi, Bastien, 2018/03/06
- Re: Using Org as the source format to generate org.texi, Paul Eggert, 2018/03/06
- Re: Using Org as the source format to generate org.texi, Achim Gratz, 2018/03/07
- Re: Using Org as the source format to generate org.texi, Achim Gratz, 2018/03/09
- Re: Using Org as the source format to generate org.texi, Paul Eggert, 2018/03/09
- Re: Using Org as the source format to generate org.texi, Achim Gratz, 2018/03/09
Re: Using Org as the source format to generate org.texi, Glenn Morris, 2018/03/07
Re: Using Org as the source format to generate org.texi, Phillip Lord, 2018/03/09