[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: info files
From: |
Eli Zaretskii |
Subject: |
Re: info files |
Date: |
Tue, 24 Dec 2013 20:14:31 +0200 |
> Date: Tue, 24 Dec 2013 10:02:22 -0800
> From: Paul Eggert <address@hidden>
> Cc: address@hidden
>
> On my platform (AMD Phenom II X4 910e, texinfo 5.2), a fresh "make
> info" takes 3 minutes 19 seconds. ^^^^^^^^^^^
Downgrade to makeinfo 4.x, and it becomes a snap, especially with -j.
- info files, Stephen Berman, 2013/12/23
- Re: info files, Andreas Schwab, 2013/12/23
- info files, Stephen J. Turnbull, 2013/12/23
- Re: info files, Paul Eggert, 2013/12/24
- Re: info files, Stephen J. Turnbull, 2013/12/24
- Re: info files, Paul Eggert, 2013/12/24
- Re: info files,
Eli Zaretskii <=
- Re: info files, Lars Ingebrigtsen, 2013/12/24
- Re: info files, Lars Ingebrigtsen, 2013/12/24
- Re: info files, Eli Zaretskii, 2013/12/24
- Re: info files, Stefan Monnier, 2013/12/24