From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Wed, 24 Jul 2019 14:53:58 +0000 (+0200)
Subject: :wrench: Do not build benchmark docs by default
X-Git-Tag: nightly~2299
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=258737e312c4003c6a83a74e9a1379b0f4de791d;p=gwion.git

:wrench: Do not build benchmark docs by default
---

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