From cc6ab97ecf994c05713fc88531b68bc07ceb0b82 Mon Sep 17 00:00:00 2001
From: Benjamin Dauvergne <bdauvergne@entrouvert.com>
Date: Thu, 26 Sep 2013 15:40:16 +0200
Subject: [PATCH] add jenkins.sh script

---
 jenkins.sh | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 jenkins.sh

diff --git a/jenkins.sh b/jenkins.sh
new file mode 100755
index 00000000..c02aa7d3
--- /dev/null
+++ b/jenkins.sh
@@ -0,0 +1,3 @@
+./autogen.sh
+./configure --enable-gtk-doc --enable-gtk-doc-html --enable-gtk-doc-pdf
+make distcheck