Re: Using Org as the source format to generate org.texi

emacs-devel

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Using Org as the source format to generate org.texi

From:	Glenn Morris
Subject:	Re: Using Org as the source format to generate org.texi
Date:	Wed, 07 Mar 2018 12:39:31 -0500
User-agent:	Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/)

Stefan Monnier wrote:

> Why wouldn't we use Org's manual.org in Emacs?

Surely you must, if it becomes the preferred form for modification.

[Prev in Thread]

Current Thread

[Next in Thread]

Re: Using Org as the source format to generate org.texi, (continued)
- Re: Using Org as the source format to generate org.texi, Stefan Monnier, 2018/03/06
  - Re: Using Org as the source format to generate org.texi, Kaushal Modi, 2018/03/06
  - Re: Using Org as the source format to generate org.texi, Achim Gratz, 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, Eli Zaretskii, 2018/03/07
    - Re: Using Org as the source format to generate org.texi, Kaushal Modi, 2018/03/07
    - Re: Using Org as the source format to generate org.texi, Bastien Guerry, 2018/03/08
    - Re: Using Org as the source format to generate org.texi, Michael Albinus, 2018/03/08
    - Re: Using Org as the source format to generate org.texi, Bastien Guerry, 2018/03/08
    - Re: Using Org as the source format to generate org.texi, Bastien Guerry, 2018/03/08
  - Re: Using Org as the source format to generate org.texi, Glenn Morris <=
  - Re: Using Org as the source format to generate org.texi, Richard Stallman, 2018/03/07
    - Re: Using Org as the source format to generate org.texi, Bastien, 2018/03/09
    - Re: Using Org as the source format to generate org.texi, Nicolas Goaziou, 2018/03/10
    - Re: Using Org as the source format to generate org.texi, Eli Zaretskii, 2018/03/10
    - Re: Using Org as the source format to generate org.texi, Michael Albinus, 2018/03/11
    - 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

Prev by Date: Re: Variable-width font indentation
Next by Date: Re: Using Org as the source format to generate org.texi
Previous by thread: Re: Using Org as the source format to generate org.texi
Next by thread: Re: Using Org as the source format to generate org.texi
Index(es):
- Date
- Thread