From b64367e2f76aa38f6a745e7167fc93fb1c9183fb Mon Sep 17 00:00:00 2001 From: Niels Date: Mon, 18 Jul 2016 16:22:10 +0200 Subject: [PATCH] fix for #279 --- doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/Makefile b/doc/Makefile index 1fb17cfc31..561989237b 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,5 +1,5 @@ SRCDIR = ../src -SED:=$(shell command -v sed || gsed) +SED:=$(shell command -v gsed || which sed) all: doxygen