Add SVGs for Gitbook (#6009)

2019-09-21 08:59:36 -06:00
parent 8240d1fe0a
commit 050021cf77
22 changed files with 4406 additions and 1 deletions
--- a/ci/test-checks.sh
+++ b/ci/test-checks.sh
@@ -23,6 +23,7 @@ _ cargo +"$rust_stable" audit --ignore RUSTSEC-2019-0013
 _ ci/nits.sh
 _ ci/order-crates-for-publishing.py
 _ book/build.sh
+_ book/build-svg.sh

 {
  cd programs/bpf