[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 18:24:44 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) |
Hello,
Eli Zaretskii <address@hidden> writes:
> 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.
Org is no silver bullet and does not pretend to supersede Texinfo. But
it tries to make editing manuals easier in most cases.
Regards,
--
Nicolas Goaziou 0x80A93738
- 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/11
- 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 <=
- 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
Re: Using Org as the source format to generate org.texi, Glenn Morris, 2018/03/07