[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 17:55:50 +0200 |
> From: Nicolas Goaziou <address@hidden>
> Cc: address@hidden, address@hidden, address@hidden
> Date: Mon, 12 Mar 2018 22:37:19 +0100
>
> There, I hard-code a number of keys (e.g., SPC, RET, LFD, TAB, BS...)
> which, when matching case sensitively the macro value, are replaced with
> @key{...}. So,
>
> {{{kbd(FOO)}}} => @kbd{FOO}
> {{{kbd(spc)}}} => @kbd{spc}
> {{{kbd(S P C)}}} => @kbd{S P C}
>
> but
>
> {{{kbd(SPC)}}} => @address@hidden
> {{{kbd(R E T M-RET)}}} => @kbd{R E T address@hidden
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.
- 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 <=
- 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, 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, 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