Update CI to autopublish docs

.gitlab-ci.yml

@@ -31,7 +31,7 @@ publish-docs:
     - mkdir -p ~/.ssh
     - chmod 700 ~/.ssh
   script:
-    - make docs
+    - doxygen Doxyfile
     - 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/