From ba5fda160588142f80a508ffa1f6a89b6a4db613 Mon Sep 17 00:00:00 2001 From: Zygo Blaxell Date: Wed, 7 Nov 2018 12:07:34 -0500 Subject: [PATCH] docs: use bash "type -p" because dash isn't useful If /bin/sh is bash, the 'type' builtin produces a list of filenames that match the arguments to $PATH. If /bin/sh is dash, we get errors like: /bin/sh: 1: P:: not found Hopefully having a build-dep on bash is not controversial. Signed-off-by: Zygo Blaxell --- docs/Makefile | 2 +- docs/install.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/Makefile b/docs/Makefile index a7068fa..72639bd 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -1,4 +1,4 @@ -MARKDOWN := $(firstword $(shell type -P markdown markdown2 markdown_py 2>/dev/null || echo markdown)) +MARKDOWN := $(firstword $(shell bash -c 'type -P markdown markdown2 markdown_py' 2>/dev/null || echo markdown)) .PHONY: docs docs: $(subst .md,.html,$(wildcard *.md)) index.html ../README.html diff --git a/docs/install.md b/docs/install.md index 7958e2c..f74f0c6 100644 --- a/docs/install.md +++ b/docs/install.md @@ -22,7 +22,7 @@ Dependencies * [Linux kernel version](btrfs-kernel.md) gets its own page. -* markdown for documentation +* markdown and bash for documentation * util-linux version that provides `blkid` command for the helper script `scripts/beesd` to work