[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Org mode and Emacs (was: Convert README.org to plain text README whi
From: |
Ihor Radchenko |
Subject: |
Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package) |
Date: |
Tue, 14 Jun 2022 19:18:57 +0800 |
Eli Zaretskii <eliz@gnu.org> writes:
> An optimized build of Emacs produces org.texi in about 30 to 40
> seconds here, and that is also quite annoying for a production build.
> Lars recently made significant changes in our build scripts and
> support code because he didn't like much shorter delays. We build
> Emacs many times a week, so these delays add up.
Is there any practical reason to re-build Org manual every time you
rebuild Emacs, even if the source did not change? I though that make
would skip building unchanged sources.
Best,
Ihor
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package), (continued)
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package), Jean Louis, 2022/06/12
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package), Eli Zaretskii, 2022/06/13
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package), Richard Stallman, 2022/06/13
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package), Ihor Radchenko, 2022/06/13
- Message not available
- Org syntax compatibility with texinfo syntax (was: Org mode and Emacs (was: Convert README.org to plain text README while installing package)), Ihor Radchenko, 2022/06/17
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package), Eli Zaretskii, 2022/06/13
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package), Ihor Radchenko, 2022/06/13
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package), Eli Zaretskii, 2022/06/14
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package),
Ihor Radchenko <=
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package), Eli Zaretskii, 2022/06/14
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package), Richard Stallman, 2022/06/12
- Re: Org mode and Emacs, Werner LEMBERG, 2022/06/13
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package), Christopher Dimech, 2022/06/13
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package), Richard Stallman, 2022/06/11
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package), Ihor Radchenko, 2022/06/11
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package), Eli Zaretskii, 2022/06/12
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package), Richard Stallman, 2022/06/12
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package), Tim Cross, 2022/06/12
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package), Ihor Radchenko, 2022/06/12