Re: 47-factored-mans.patch

2001-02-22 Thread Tom Tromey
> "Akim" == Akim Demaille <[EMAIL PROTECTED]> writes: Akim> What would you say: make it local (i.e., install-man1 builds Akim> MANS1), or global as it was. If easy, I prefer the first Akim> solution, otherwise backup to the previous state. The first solution is ok. But note that install-man

Re: 47-factored-mans.patch

2001-02-21 Thread Tom Tromey
> "Akim" == Akim Demaille <[EMAIL PROTECTED]> writes: Akim> -install-man: $(MANS) Akim> - @$(NORMAL_INSTALL) Akim> - $(MAKE) $(AM_MAKEFLAGS) install-man1 I'm concerned about this. Before this change, `install-man' would ensure that the man pages were rebuilt. After this change,

Re: 47-factored-mans.patch

2001-02-21 Thread Akim Demaille
Tom Tromey <[EMAIL PROTECTED]> writes: > > "Akim" == Akim Demaille <[EMAIL PROTECTED]> writes: > > Akim> -install-man: $(MANS) > Akim> - @$(NORMAL_INSTALL) > Akim> - $(MAKE) $(AM_MAKEFLAGS) install-man1 > > I'm concerned about this. > > Before this change, `install-man' would e