From 5161555d5e1ef43966366624bef0ce8faf412a0f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20Klinkovsk=C3=BD?= <klinkjak@fjfi.cvut.cz>
Date: Wed, 30 Jan 2019 14:44:12 +0100
Subject: [PATCH] Added script to deploy documentation to the web server
[ci skip]
---
Documentation/deploy | 16 ++++++++++++++++
1 file changed, 16 insertions(+)
create mode 100755 Documentation/deploy
diff --git a/Documentation/deploy b/Documentation/deploy
new file mode 100755
index 0000000000..2c85442bc7
--- /dev/null
+++ b/Documentation/deploy
@@ -0,0 +1,16 @@
+#!/bin/bash
+
+OUTPUTDIR=./html
+SSH_USER=tnl-doc
+SSH_HOST=mmg-gitlab.fjfi.cvut.cz
+SSH_PORT=22
+SSH_TARGET_DIR=/srv/http/doc/tnl
+
+set -e
+
+# Run from this directory
+cd ${0%/*}
+
+[[ ! -d "$OUTPUTDIR" ]] && ./build
+
+rsync -e "ssh -p $SSH_PORT" -P -rvzc --cvs-exclude --delete "$OUTPUTDIR/" "$SSH_USER@$SSH_HOST:$SSH_TARGET_DIR"
--
GitLab