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


reply via email to

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