From f17ac643a19251aa5d0f280cae9ad6ea02caa799 Mon Sep 17 00:00:00 2001
From: Alex Crichton <alex@alexcrichton.com>
Date: Mon, 25 Sep 2017 13:15:32 -0700
Subject: [PATCH] Tweak dox script

---
 library/stdarch/ci/dox.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/library/stdarch/ci/dox.sh b/library/stdarch/ci/dox.sh
index 461808dab28f..8a78230c13d0 100755
--- a/library/stdarch/ci/dox.sh
+++ b/library/stdarch/ci/dox.sh
@@ -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