1
0
Fork 0

Updated webdoc script to run autoreconf (needed for gnu changes)

website
Mike Gerwitz 2013-12-24 22:41:50 -05:00
parent e98218bcaf
commit 0133bc59d7
No known key found for this signature in database
GPG Key ID: F22BB8158EE30EAB
1 changed files with 2 additions and 0 deletions

View File

@ -103,6 +103,8 @@ webify()
# generate the documentation from the master branch # generate the documentation from the master branch
git checkout "${WEBDOC_BRANCH:-origin/master}" \ git checkout "${WEBDOC_BRANCH:-origin/master}" \
&& autoreconf -fvi \
&& ./configure \
&& make doc-html \ && make doc-html \
&& git checkout - \ && git checkout - \
&& ln -sf "../manual.html" "$path_doc_multi/easejs.html" \ && ln -sf "../manual.html" "$path_doc_multi/easejs.html" \