From 78acf434fb99624b97b230e093a4c00124672728 Mon Sep 17 00:00:00 2001 From: Florian Albrechtskirchinger Date: Thu, 23 Jun 2022 11:42:59 +0200 Subject: [PATCH] docset: detect gsed/sed --- docs/docset/Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/docset/Makefile b/docs/docset/Makefile index fcefa413a..5d0587348 100644 --- a/docs/docset/Makefile +++ b/docs/docset/Makefile @@ -1,3 +1,5 @@ +SED ?= $(shell which gsed 2>/dev/null || which sed) + JSON_for_Modern_C++.docset: Info.plist docSet.sql $(MAKE) clean mkdir -p JSON_for_Modern_C++.docset/Contents/Resources/Documents/ @@ -11,7 +13,7 @@ JSON_for_Modern_C++.docset: Info.plist docSet.sql # fix spacing echo "\n\ndiv.md-sidebar div.md-sidebar--secondary, div.md-main__inner { top: 0; margin-top: 0 }" >> "$$(ls JSON_for_Modern_C++.docset/Contents/Resources/Documents/assets/stylesheets/main.*.min.css)" # remove "JSON for Modern C++" from page titles - find JSON_for_Modern_C++.docset/Contents/Resources/Documents -type f -exec gsed -i 's| - JSON for Modern C++||' {} + + find JSON_for_Modern_C++.docset/Contents/Resources/Documents -type f -exec $(SED) -i 's| - JSON for Modern C++||' {} + # clean up rm JSON_for_Modern_C++.docset/Contents/Resources/Documents/sitemap.* # generate index