[Mew-dist 13194] Re: Mew 1.95b38 on Debian

Christophe TROESTLER mewlist at example.com
2000年 6月 4日 (日) 23:46:06 JST


On Sun, 04 Jun 2000, Kazu Yamamoto (山本和彦) <kazu at example.com> wrote:
> 
> From: Christophe TROESTLER <Ch.Troestler at example.com>
> Subject: [Mew-dist 13177] Mew 1.95b38 on Debian
> 
> > 	   if [ -n "`$(INSTALLINFO) --version 2>&1 |grep Debian`" ]; then \
> 
> This hack seems quite ad-hoc to me. If there are other this kinds,
> should we enumerate them?

I agree, it is just that I tought no many install-info programs are
around...

> Rather, I would suggest to make Makefile configurable.

... but I agree putting a variable in the main Makefile would be better.

> 'make INSTALLINFO="makeinfo --section Emacs Emacs"' doesn't enough? If
> so, I will be happy to add some configurable variables.

Well, it is not enough for two reasons:
1. [ -x "$(INSTALLINFO)" ] fails because of the argument `--section ...'
   So we should distinguish between $(INSTALLINFO) and $(INSTALLINFOPGM)
2. The Debian install-info does not take a second argument (namely
   $(INFODIR)/dir).

So, maybe, one could declare in the main Makefile

INSTALLINFOPGM = `which install-info`
## GNU install-info:
INSTALLINFO = $(INSTALLINFOPGM) --dir-file="$(INFODIR)/dir"
#INSTALLINFO = $(INSTALLINFOPGM) --dir-file="$(INFODIR)/dir" --section=Emacs
#INSTALLINFO = $(INSTALLINFOPGM) --dir-file="/usr/info/dir" --section=Emacs
## Debian install-info:
#INSTALLINFO = $(INSTALLINFOPGM) --section Emacs Emacs

and in the info/Makefile

	- at example.com [ -x "$(INSTALLINFOPGM)" ]; then \
		$(INSTALLINFO) mew.info; \
	else \
	
Making these changes would also allow to choose more easily in which
dir file we want to add the `Mew' entry (one may want to put Mew info
in /usr/local/info/ but add the entry to /usr/info/dir, especially
with the --section option).

Thanks for considering my remark.

Regards,
ChriS



Mew-dist メーリングリストの案内