diff configure @ 71548:b1556bb47998

Mention that makeinfo.exe is required for make 'info'.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 30 Jun 2006 13:56:56 +0000
parents e5cd81bde625
children 4d53a83f4cae ab6ab63755f7 a8190f7e546e
line wrap: on
line diff