1 files changed, 3 insertions, 0 deletions

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