Marc-André Lureau writes:
> Splitting the info files doesn't bring much benefits these days.
> This fixes also untracked generated info files from git ignore.
>
> Let's use MAKEINFOFLAGS for common flags, --number-sections is already
> the default anyway, so adding it doesn't change the info outp
Splitting the info files doesn't bring much benefits these days.
This fixes also untracked generated info files from git ignore.
Let's use MAKEINFOFLAGS for common flags, --number-sections is already
the default anyway, so adding it doesn't change the info output.
Signed-off-by: Marc-André Lureau
