diff options
| author | Marc-André Lureau <marcandre.lureau@redhat.com> | 2017-01-13 15:41:31 +0100 |
|---|---|---|
| committer | Markus Armbruster <armbru@redhat.com> | 2017-01-16 10:11:43 +0100 |
| commit | e9ee06bdf014de03ca6d4ed98cb5beda5f68c6f4 (patch) | |
| tree | 82bf399fb02e7c92858fbbd3f4d8addc8a95b433 /Makefile.target | |
| parent | c051a4c2020f31fba134f54e03fc48aac3be4706 (diff) | |
build-sys: use --no-split for info
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 <marcandre.lureau@redhat.com>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
Message-Id: <20170113144135.5150-18-marcandre.lureau@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Diffstat (limited to 'Makefile.target')
0 files changed, 0 insertions, 0 deletions