tools: bpf: build and install man page for eBPF helpers from bpftool/
authorQuentin Monnet <quentin.monnet@netronome.com>
Thu, 12 Jul 2018 11:52:24 +0000 (12:52 +0100)
committerDaniel Borkmann <daniel@iogearbox.net>
Thu, 12 Jul 2018 16:55:53 +0000 (18:55 +0200)
commit86f7d85cec9e1dba735ac5bd4b751b1908fedf80
treebafcbb613fc473418f864ad186ab4ea5fad39dab
parent9b8ca3795199f333269859b0c8393f810b9616a3
tools: bpf: build and install man page for eBPF helpers from bpftool/

Provide a new Makefile.helpers in tools/bpf, in order to build and
install the man page for eBPF helpers. This Makefile is also included in
the one used to build bpftool documentation, so that it can be called
either on its own (cd tools/bpf && make -f Makefile.helpers) or from
bpftool directory (cd tools/bpf/bpftool && make doc, or
cd tools/bpf/bpftool/Documentation && make helpers).

Makefile.helpers is not added directly to bpftool to avoid changing its
Makefile too much (helpers are not 100% directly related with bpftool).
But the possibility to build the page from bpftool directory makes us
able to package the helpers man page with bpftool, and to install it
along with bpftool documentation, so that the doc for helpers becomes
easily available to developers through the "man" program.

Cc: linux-man@vger.kernel.org
Suggested-by: Daniel Borkmann <daniel@iogearbox.net>
Signed-off-by: Quentin Monnet <quentin.monnet@netronome.com>
Reviewed-by: Jakub Kicinski <jakub.kicinski@netronome.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
tools/bpf/Makefile.helpers [new file with mode: 0644]
tools/bpf/bpftool/Documentation/Makefile