Tweak dox script

2026-05-21 17:52:12 +03:00 · 2017-09-25 13:15:32 -07:00
parent 145a8694e1
commit f17ac643a1
1 changed files with 4 additions and 0 deletions
@@ -15,6 +15,10 @@ dox() {

  echo documenting $arch

+  if [ "$CI" != "" ]; then
+    rustup target add $target || true
+  fi
+
  rm -rf target/doc/$arch
  mkdir target/doc/$arch