[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Using Org as the source format to generate org.texi
From: |
Nicolas Goaziou |
Subject: |
Re: Using Org as the source format to generate org.texi |
Date: |
Tue, 13 Mar 2018 22:37:34 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) |
Eli Zaretskii <address@hidden> writes:
> Personally, it would confuse me a lot to have to use kbd for both @kbd
> and @key. But that's me.
You're coming from the Texinfo world, so you have a clear definition of
@kbd and @key in mind. OTOH, there are no such things in Org. From
there, @key may even appear superfluous, considering a simple macro --
in the Org sense -- can deduce it most of the time. Furthermore,
a DWIM-like "kbd" command is a nice thing to have for users that do not
know very well Texinfo.
However, we can rename the "kbd" macro, if it confuses you. I cannot
think of a good name for it, but feel free to suggest one.
- Re: Using Org as the source format to generate org.texi, (continued)
- 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, 2018/03/13
- Re: Using Org as the source format to generate org.texi,
Nicolas Goaziou <=
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
Re: Using Org as the source format to generate org.texi, Glenn Morris, 2018/03/12