[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: make info on w32
|
From: |
Juanma Barranquero |
|
Subject: |
Re: make info on w32 |
|
Date: |
Fri, 29 Jul 2005 12:30:19 +0200 |
On 7/16/05, Eli Zaretskii <address@hidden> wrote:
> Does anyone know why "make info" on MS-Windows runs install-info
> for every manual, instead of relying on info/dir?
Seems like nobody knows or remembers. Why don't you try taking it out?
--
/L/e/k/t/u
- make info on w32, Eli Zaretskii, 2005/07/16
- Re: make info on w32,
Juanma Barranquero <=