[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: |
Eli Zaretskii |
Subject: |
Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package) |
Date: |
Tue, 14 Jun 2022 14:44:58 +0300 |
> From: Ihor Radchenko <yantar92@gmail.com>
> Cc: rms@gnu.org, theophilusx@gmail.com, monnier@iro.umontreal.ca,
> acm@muc.de, emacs-devel@gnu.org
> 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?
No, and it doesn't happen unless I bootstrap.
> I though that make would skip building unchanged sources.
Indeed, it does (except as part of "make bootstrap", which rebuilds
everything). But even without a bootstrap, when org.org changes,
building several branches needs to process it once per branch.
- 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), 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, 2022/06/14
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package),
Eli Zaretskii <=
- 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
- Re: Org mode and Emacs (was: Convert README.org to plain text README while installing package), Christopher Dimech, 2022/06/12