From f8d6f7dc3837c84b34be6541dcbbc6f7ff228772 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 15 Jan 2016 10:01:31 +0100
Subject: [PATCH] crontab

---
 website/crontab.sh | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 website/crontab.sh

diff --git a/website/crontab.sh b/website/crontab.sh
new file mode 100755
index 00000000..c7ceada2
--- /dev/null
+++ b/website/crontab.sh
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+cd $(dirname $0)
+./auto-update.sh
+make publish >& publish.log
-- 
2.43.0