[Top][All Lists]

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

make info on w32

From: Eli Zaretskii
Subject: make info on w32
Date: Sat, 16 Jul 2005 15:03:52 +0300

Does anyone know why "make info" on MS-Windows runs install-info
for every manual, instead of relying on info/dir?

reply via email to

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