From: Jean-Philippe Orsini <orsinije@fr.ibm.com>
Date: Thu, 12 Oct 2017 05:23:29 +0000 (+0200)
Subject: Merge branch 'master' of ssh://wpitchoune.net/srv/git/pnews
X-Git-Url: http://git.wpitchoune.net/gitweb/?p=pnews.git;a=commitdiff_plain;h=61125028d928e7f29e0cfe3fc350ec80817f7e4d;hp=9c89cdd8ca76d57fd660fe877c0d2069715a7670

Merge branch 'master' of ssh://wpitchoune.net/srv/git/pnews
---

diff --git a/run.sh b/run.sh
new file mode 100755
index 0000000..0ccad36
--- /dev/null
+++ b/run.sh
@@ -0,0 +1,20 @@
+#!/bin/bash
+
+set -e
+
+TMP_DIR="/tmp/$$.tmp"
+
+mkdir -p "$TMP_DIR"
+
+cd $TMP_DIR
+git clone https://git.wpitchoune.net/pnews.git
+
+cd pnews
+
+mvn clean install
+
+target/pnews.sh
+
+cp -p *html style.css $1
+
+rm -rf "$TMP_DIR"