|
| From: | Paul Eggert |
| Subject: | Re: Using Org as the source format to generate org.texi |
| Date: | Tue, 6 Mar 2018 13:30:17 -0800 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 |
On 03/06/2018 10:04 AM, Bastien wrote:
One drawback is that we will have to backport manual changes made in Emacs' repo to org.texi into Org's manual.org file
Let's fix this by adding a Makefile rule to Emacs master, a rule that generates org.texi automatically from manual.org. Then we can remove org.texi from the master source tree, and replace it with manual.org.
| [Prev in Thread] | Current Thread | [Next in Thread] |