From 1f279da2ceca13d346a3f64ee3a13b984087ba4d Mon Sep 17 00:00:00 2001 From: Jonas Smedegaard Date: Sun, 25 May 2025 13:32:06 +0200 Subject: prefer diff pager delta if available --- Makefile | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 5f4fc3c..5797dd9 100644 --- a/Makefile +++ b/Makefile @@ -8,8 +8,11 @@ FILTER = _extensions/ruc-play/sem-md/sem-md.lua DIFFTESTS = $(patsubst %.md,%,$(wildcard test/*.md)) -#DIFF = diff -u -DIFF = git --no-pager diff --no-index +_which = $(shell command -v $1 >/dev/null 2>&1 && echo $1 $2) +DIFF = $(strip $(or \ + $(call _which,delta,--default-language md),\ + $(call _which,git,--no-pager diff --no-index),\ + diff -u)) #PANDOC = pandoc -f markdown+fenced_divs+bracketed_spans-auto_identifiers PANDOC = pandoc --from commonmark -- cgit v1.2.3