Update CI to autopublish docs

.gitlab-ci.yml

@@ -19,3 +19,22 @@ make-64bit:
     - ARCH_OPT='-m64' make
   tags:
     - docker
+
+publish-docs:
+  stage: deploy
+  before_script:
+    - apt-get update
+    - apt-get install doxygen -y
+    - 'which ssh-agent || ( apt-get update -y && apt-get install openssh-client -y )'
+    - eval $(ssh-agent -s)
+    - echo "$DOCS_SSH_PRIVATE_KEY" | tr -d '\r' | ssh-add - > /dev/null
+    - mkdir -p ~/.ssh
+    - chmod 700 ~/.ssh
+  script:
+    - make docs
+    - tar czf docs.tgz -C docs/html .
+    - scp docs.tgz $DOCS_SSH_HOST:html/diglog
+    - ssh $DOCS_SSH_HOST tar xf html/diglog/docs.tgz -C html/diglog/
+    - ssh $DOCS_SSH_HOST rm html/diglog/docs.tgz
+  tags:
+    - docker