[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: info files
|
From: |
Paul Eggert |
|
Subject: |
Re: info files |
|
Date: |
Mon, 23 Dec 2013 21:50:11 -0800 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.2.0 |
Stephen J. Turnbull wrote:
> Stephen Berman writes:
>
> > But now when I run make, no info files are built.
>
> This sounds like a bug to me (I would think a plain make should update
> info files).
The GNU coding standards says that 'make all' need not
rebuild documentation files, and that 'make info'
should build them.
- 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 <=
- Re: info files, Stephen J. Turnbull, 2013/12/24
- Re: info files, Paul Eggert, 2013/12/24
- Re: info files, Eli Zaretskii, 2013/12/24
- 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