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 ensure that the man pages were
> rebuilt. After this change, it doesn't.
Aarg, thanks, I missed it :(
What would you say: make it local (i.e., install-man1 builds MANS1),
or global as it was. If easy, I prefer the first solution, otherwise
backup to the previous state.
