From 258737e312c4003c6a83a74e9a1379b0f4de791d Mon Sep 17 00:00:00 2001
From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Wed, 24 Jul 2019 16:53:58 +0200
Subject: [PATCH] :wrench: Do not build benchmark docs by default

---
 docs.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs.mk b/docs.mk
index 78813d48..d2fc79e7 100644
--- a/docs.mk
+++ b/docs.mk
@@ -3,7 +3,7 @@ $(shell cp docs/config.mk.orig docs/config.mk)
 endif
 include docs/config.mk
 
-mdr_list = $(shell find docs -type f -name "*.mdr")
+mdr_list = (filter-out docs/09_Benchmarks.mdr, $(shell find docs -type f -name "*.mdr"))
 md_list  = $(mdr_list:.mdr=.md)
 
 _docserver_config       = bash help/doc-config.sh > mkdocs.yml
-- 
2.43.0