docs: dash more useful than previously believed

It turns out both dash and bash support `command -v` so let's use that.

Signed-off-by: Zygo Blaxell <bees@furryterror.org>
Dieser Commit ist enthalten in:
Zygo Blaxell
2018-11-25 23:21:52 -05:00
Ursprung ba5fda1605
Commit f051d96d51
2 geänderte Dateien mit 2 neuen und 2 gelöschten Zeilen
+1 -1
Datei anzeigen
@@ -1,4 +1,4 @@
MARKDOWN := $(firstword $(shell bash -c 'type -P markdown markdown2 markdown_py' 2>/dev/null || echo markdown))
MARKDOWN := $(firstword $(shell command -v markdown markdown2 markdown_py 2>/dev/null || echo markdown))
.PHONY: docs
docs: $(subst .md,.html,$(wildcard *.md)) index.html ../README.html