From b965a83b0fe6a2645fc251b8cb430206bc125efb Mon Sep 17 00:00:00 2001 From: Chris Hofstaedtler Date: Sat, 30 Jul 2022 21:21:11 +0200 Subject: make: avoid hard-coding path to sed (#357) Just use PATH to find sed. Not all distributions have moved to a /usr-merged layout yet. Signed-off-by: Chris Hofstaedtler --- doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/Makefile b/doc/Makefile index 47e14a9..882bea1 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -7,7 +7,7 @@ ifeq ($(TOPDIR),) TOPDIR = .. endif -SED = /usr/bin/sed +SED ?= sed INSTALL = install DESTDIR ?= -- cgit v1.2.1