1 files changed, 1 insertions, 1 deletions
diff --git a/validate b/validate
index f1ec3a16b1..f2822e8d50 100755
--- a/validate
+++ b/validate
@@ -117,7 +117,7 @@ if [ $speed != "FAST" ]; then
     # This is a hack to make
     #     HADDOCK_DOCS = NO
     # work when validating.
-    if grep -q "^HADDOCK_DOCS[ 	]*=[ 	]*NO[ 	]*$" mk/validate.mk
+    if grep -q "^HADDOCK_DOCS.*=.*NO" mk/validate.mk
     then
         unset WITH_HADDOCK
         DO_HADDOCK=NO