diff --git a/scripts/doc_travis.sh b/scripts/doc_travis.sh
index 849f09202b..5153a10c26 100755
--- a/scripts/doc_travis.sh
+++ b/scripts/doc_travis.sh
@@ -23,3 +23,7 @@ eval `ssh-agent -s`
 ssh-add deploy_key
 
 npm run doc-deploy
+echo 'Done.'
+
+# kill ssh-agent
+ssh-agent -k