diff man/makefile.w32-in @ 52942:8aa98e850c63

(Info Search): echo area, not echo are. From Debian diff.
author Karl Berry <karl@gnu.org>
date Mon, 27 Oct 2003 00:01:25 +0000
parents 27bc8b966642
children b0293635c42b
line wrap: on
line diff