[Top][All Lists]

[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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]