diff options
author | Benjamin Dauvergne <bdauvergne@entrouvert.com> | 2013-09-26 15:53:20 +0200 |
---|---|---|
committer | Benjamin Dauvergne <bdauvergne@entrouvert.com> | 2013-09-26 15:53:20 +0200 |
commit | 310e12b2a1671aa1c65c1b48728f2ea9476d59bb (patch) | |
tree | c33a87daf080e444e64be1e94928cd863cf508c8 /jenkins.sh | |
parent | 16beadaff96e1450e5c532722fafb96f41495da6 (diff) | |
download | lasso-310e12b2a1671aa1c65c1b48728f2ea9476d59bb.tar.gz lasso-310e12b2a1671aa1c65c1b48728f2ea9476d59bb.tar.xz lasso-310e12b2a1671aa1c65c1b48728f2ea9476d59bb.zip |
jenkins.sh: build a first time before running distcheck, in order to have the documentation compiled
Diffstat (limited to 'jenkins.sh')
-rwxr-xr-x | jenkins.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,3 +1,4 @@ ./autogen.sh ./configure --enable-gtk-doc --enable-gtk-doc-html --enable-gtk-doc-pdf +make all check make distcheck |