From: Ulya Trofimovich <skvadrik@gmail.com>
Date: Mon, 11 May 2015 09:41:01 +0000 (+0100)
Subject: Don't rebuild docs by default.
X-Git-Tag: 0.15~283
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=d76b7a91350a83aadaa7dc971207a3f6bfd1bdf8;p=re2c

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 db4be47f..7868d1e1 100755
--- 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 ..