From d76b7a91350a83aadaa7dc971207a3f6bfd1bdf8 Mon Sep 17 00:00:00 2001
From: Ulya Trofimovich <skvadrik@gmail.com>
Date: Mon, 11 May 2015 10:41:01 +0100
Subject: [PATCH] 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.
---
 re2c/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 ..
-- 
2.40.0