Don't rebuild docs by default.

If we configure with "--enable-docs", then docs get rebuild every
time make is executed, and we'll have to commit these insignificant
changes every time, which is bad.

diff --git a/re2c/build.sh b/re2c/build.sh
index db4be47f032f87dcf4991162c554440edafb7509..7868d1e15e2558ac202713514ed979bb509a6a83 100755 (executable)
--- a/re2c/build.sh
+++ b/re2c/build.sh
@@ -5,6 +5,6 @@ rm -rf $builddir
 mkdir $builddir
 
 cd $builddir
-../configure --enable-docs --enable-silent-rules && \
+../configure --enable-silent-rules && \
 make bootstrap -j5
 cd ..