[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!
Thanks,
jao
--
How many Zen Buddhist does it take to change a light bulb?
Two. One to change it and one not to change it.