diff options
| author | Federico Vaga <[email protected]> | 2018-06-06 00:49:01 +0200 |
|---|---|---|
| committer | Jonathan Corbet <[email protected]> | 2018-06-26 09:08:06 -0600 |
| commit | aa586e25744ad0a481fdba2da05041af235c110d (patch) | |
| tree | 71857e78f0dee795a5ada11f2f25e3d52d5dbac5 /scripts/bpf_helpers_doc.py | |
| parent | 85c32d9c6f3ebcb6807f2a6a54b2578cf281654a (diff) | |
doc: add some chapter labels
The idea is to make it easier to create references (doc-guide does the same).
This will be used, for example but not only, in translations to point to
the main document.
Signed-off-by: Federico Vaga <[email protected]>
Signed-off-by: Jonathan Corbet <[email protected]>
Diffstat (limited to 'scripts/bpf_helpers_doc.py')
0 files changed, 0 insertions, 0 deletions