Bastien <b...@altern.org> wrote:
> Hi Jude,
>
> Jude DaShiell <jdash...@shellworld.net> writes:
>
> > The latest patch by Achim Gratz works for this problem for make
> > install-info on debian squeeze. The warning about using ginstall-info
> > comes up, but the documentation updates from 7.5 to 7.6 none the less.
>
> Thanks for confirming.
>
> Achim and Nick, can I safely apply your patch or was it still a beta
> version?
>
Achim's patch is different from mine (which might very well be wrong: I
was trying to divine what is happening without access to a system that
runs Debian or Slackware). I applied Achim's patch and it works on my
Ubuntu system (I get the same warning that this is GNU install-info, not
dpkg install-info that Jude gets, which is fine - if that's all that's
different, then we can document that).
However, I don't understand how changing the command affects other
systems: in particular OS X and/or Windows (as well as other Linux
distros and other Unixes), so I will plead "nolo contendere" here, but I
wouldn't apply it until people on those systems test it and report
success.
My worry is this: before Achim's patch, the "other" systems run the
following command:
$(INSTALL_INFO) --info-file=$(INFOFILES) --info-dir=$(infodir)
I presume without trouble. After his patch, they run
$(INSTALL_INFO) --infodir=$(infodir) $(INFOFILES)
Does the install-info on other systems really grok the --infodir option?
Isn't it just straight GNU install-info? What am I missing?
Nick
