From 310e12b2a1671aa1c65c1b48728f2ea9476d59bb Mon Sep 17 00:00:00 2001
From: Benjamin Dauvergne <bdauvergne@entrouvert.com>
Date: Thu, 26 Sep 2013 15:53:20 +0200
Subject: [PATCH] jenkins.sh: build a first time before running distcheck, in
 order to have the documentation compiled

---
 jenkins.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/jenkins.sh b/jenkins.sh
index c02aa7d3..0c6d5b72 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -1,3 +1,4 @@
 ./autogen.sh
 ./configure --enable-gtk-doc --enable-gtk-doc-html --enable-gtk-doc-pdf
+make all check
 make distcheck