From 132674f249b0f61f35c04ea10aea7de763b7d3c6 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Tue, 18 Dec 2018 14:52:46 +0100
Subject: [PATCH] Add deploy-seafile.

---
 deploy-seafile | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 deploy-seafile

diff --git a/deploy-seafile b/deploy-seafile
new file mode 100755
index 0000000..6d06563
--- /dev/null
+++ b/deploy-seafile
@@ -0,0 +1,8 @@
+#!/bin/sh
+#
+# Deploys my site to ibisc.univ-evry.fr/~sivanov/ via Seafile
+# synchronisation.
+#
+# The Seafile client must be running for the update to actually take
+# effect.
+cp -arv www ~/tmp/Seafile/ivanov-page-perso