:art: Use portable 'find' command

diff --git a/docs.mk b/docs.mk
index e4bbbe1cb02b0511ff29f8fc93ef35b6044eca3f..78813d480e58f60a5d9aed948da67df98d50506a 100644 (file)
--- 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