diff --git a/build/travis-doxygen.sh b/build/travis-doxygen.sh
index 239afb3..74fa528 100755
--- a/build/travis-doxygen.sh
+++ b/build/travis-doxygen.sh
@@ -111,8 +111,7 @@ gh_pages_push() {
 		echo "https://${GH_TOKEN}:@${GITHUB_HOST}" > ${HOME}/.git-credentials ; \
 		chmod go-rw ${HOME}/.git-credentials )
 	# push to GitHub
-	git push origin gh-pages || \
-		skip "GitHub pages update failed, temporarily ignored."
+	git push origin gh-pages
 }
 
 doxygen_install