[Top][All Lists]

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

Re: make info on w32

From: Eli Zaretskii
Subject: Re: make info on w32
Date: Sat, 30 Jul 2005 14:48:19 +0300

> Date: Fri, 29 Jul 2005 12:30:19 +0200
> From: Juanma Barranquero <address@hidden>
> Cc: address@hidden
> 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?

Done (including similar changes in lispref/ and lispintro/).  Please
remove your info/dir file, fetch one from the CVS, and report any
unusual effects.

reply via email to

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