Harrison Houghton 85924eaaa8 bpftools: fix ...

At some point the name of the doc-tool script changed and we stopped
patching up the shabang line. The new one is just scripts/bpf_doc.py.

(cherry picked from commit 8997f8cc709f6d1801a23de80a7954e48116d1b2)

2021-07-29 09:42:48 +00:00

..

default.nix

…