yet another Makefile issue

Matthew Fluet fluet@CS.Cornell.EDU
Thu, 4 Oct 2001 18:47:54 -0400 (EDT)


> I assume you didn't really want the space between `gmp' and  -stuff'  in  the
> more  verbose  dir  file  code.   The  verbose thing seems to be fine on both
> versions of install-info, and as you say, it really is more correct  so  that
> looks like the way to go.  (One trivial change: make second argument to tr be
> single-quoted, not double-quoted.  It is  more  consistant,  and  in  double-
> quotes  the backslash is special to shells.  Mind you, it works either way in
> Bash, but ...)

O.k.  I'll make those changes (the space was just cut-and-paste and
line-wrap) and check it in.