yet another Makefile issue

[Matthew Fluet]

> Both the version of install-info on Red Hat 7.1 and the version on Red Hat
> 6.0 work identically with either a gmp/-stuff/info/dir file that consists
> of only an octal 037 and then a newline or a 037, newline, X and then
> newline.  If the latter works better for the Mandrake install-info, then
> switch to that.  The whole 037-newline thing was discovered by trial and
> error by me since the whole info system, WHICH I DETEST IN THE STRONGEST
> POSSIBLE WAY, isn't documented any where I could find.

Strange.  Here's the install info I've got:

[fluet@lennon runtime]$ /sbin/install-info --version
install-info (GNU texinfo) 4.0

How about the more verbose dir file:

echo '!@File: dir,#Node: Top' | tr '!@#' "\037\n\t" >gmp -stuff/info/dir &&

I'd prefer going with that, because install-info does add the entry.


BTW, Henry, are there any software systems that you do like? ;)  Besides
MLton without threads. ;)