From 9477c30563a9bd0bdd3ea3e75e1c0134c4fe0efe Mon Sep 17 00:00:00 2001
From: Alexander Artemenko <svetlyak.40wt@gmail.com>
Date: Mon, 8 Oct 2018 21:29:23 +0300
Subject: [PATCH] Saving as a separate file.

---
 build-docs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-docs.sh b/build-docs.sh
index ecb85c0..dce0e80 100755
--- a/build-docs.sh
+++ b/build-docs.sh
@@ -25,7 +25,7 @@ if [ "$TRAVIS_BRANCH" = "$BUILD_DOCS_FROM_BRANCH" \
     pip install pyopenssl
     pip install -r docs/requirements.txt
     ros install 40ants/cldomain
-    bash <(curl -L https://raw.githubusercontent.com/40ants/update-gh-pages/master/build-docs.ros)
+    curl -L https://raw.githubusercontent.com/40ants/update-gh-pages/master/build-docs.ros > ~/build-docs.ros && chmod +x ~/build-docs.ros && ~/build-docs.ros
 else
     echo "Skipping documentation build because environment is not suitable."
 fi