From 0133bc59d7ecfdd248d514fac5ad8948a8db5c13 Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Tue, 24 Dec 2013 22:41:50 -0500 Subject: [PATCH] Updated webdoc script to run autoreconf (needed for gnu changes) --- tools/webdoc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/webdoc b/tools/webdoc index 840c17b..49ce0df 100755 --- a/tools/webdoc +++ b/tools/webdoc @@ -103,6 +103,8 @@ webify() # generate the documentation from the master branch git checkout "${WEBDOC_BRANCH:-origin/master}" \ + && autoreconf -fvi \ + && ./configure \ && make doc-html \ && git checkout - \ && ln -sf "../manual.html" "$path_doc_multi/easejs.html" \