circleci doc builder: write ssh known_hosts in $HOME, not in .

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 2c11cd9493e4389f2ec5979b1726c90647990188..29fd4c973e6e72629fea6306aae27dd5c07fc260 100644 (file)
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -37,7 +37,7 @@ commands:
     description: Add ssh known_hosts fingerprints
     steps:
       - run:
-          command: mkdir -p $HOME/.ssh && echo "${DOCS_HOST} ${DOCS_FINGERPRINT}" > .ssh/known_hosts
+          command: mkdir -p $HOME/.ssh && echo "${DOCS_HOST} ${DOCS_FINGERPRINT}" > $HOME/.ssh/known_hosts
 
   auth-regress-setup:
     description: Prepare the environment for auth regression tests