[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Geiser-users] [PATCH] Add `dir' file to list the info manual

From: Jose A. Ortega Ruiz
Subject: Re: [Geiser-users] [PATCH] Add `dir' file to list the info manual
Date: Mon, 05 Aug 2013 18:44:59 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)

On Mon, Aug 05 2013, Diogo F. S. Ramos wrote:


> I'm not sure if the `dir' file should be produced during compilation
> or not.

It's usually produced during installation, when install-info is called,
and that most of the time just adds an entry to an existing dir file.

Having a default one there doesn't hurt: pushed!

How many Zen Buddhist does it take to change a light bulb?
Two. One to change it and one not to change it.

reply via email to

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