From e791f250fa2f9ee7630c61aefa8c8562158d35b1 Mon Sep 17 00:00:00 2001
From: Michael Bryan <michaelfbryan@gmail.com>
Date: Sat, 6 Jan 2018 04:47:59 +0800
Subject: [PATCH] Workaround for travis-ci/travis-ci#4704 (#529)

large writes to stdout error with errno 11 (resource unavailable)
---
 ci/github_pages.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/github_pages.sh b/ci/github_pages.sh
index b6978b59..040ab20a 100644
--- a/ci/github_pages.sh
+++ b/ci/github_pages.sh
@@ -21,7 +21,7 @@ GREEN='\033[32m'
 rev=$(git rev-parse --short HEAD)
 
 echo -e "${CYAN}Running cargo doc${NC}"
-cargo doc --features regenerate-css
+cargo doc --features regenerate-css > /dev/null
 
 echo -e "${CYAN}Running mdbook build${NC}"
 cargo run -- build book-example/