From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Sat, 13 Jul 2019 15:54:34 +0000 (+0200)
Subject: :art: Use portable 'find' command
X-Git-Tag: nightly~2341
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=7647124d081cf90bcd0d1a2648f9fe0578ac18a7;p=gwion.git

:art: Use portable 'find' command
---

diff --git a/docs.mk b/docs.mk
index e4bbbe1c..78813d48 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 -regextype posix-egrep -regex '.*.mdr$$')
+mdr_list = $(shell find docs -type f -name "*.mdr")
 md_list  = $(mdr_list:.mdr=.md)
 
 _docserver_config       = bash help/doc-config.sh > mkdocs.yml