From b25e6b51f6e16c983ab7c0f5cd8187bdd197b8d3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Micha=C5=82=20K=C4=99pie=C5=84?= Date: Thu, 20 Feb 2020 12:23:36 +0100 Subject: [PATCH] Make a sed script in doc/arm/Makefile.in portable BSD sed does not recognize \s as a whitespace matching token. Make the sed script in doc/arm/Makefile.in which ensures GitLab identifiers are not split across lines portable by replacing \s with [[:space:]]. --- doc/arm/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/arm/Makefile.in b/doc/arm/Makefile.in index 5bd7a69817..cdf51c62db 100644 --- a/doc/arm/Makefile.in +++ b/doc/arm/Makefile.in @@ -66,7 +66,7 @@ notes.txt: notes.html ${W3M} -dump -cols 75 -O ascii -T text/html < notes.html | \ sed 's/ *$$//' | \ sed -e :a -e '/^\n*$$/{$$d;N;};/\n$$/ba' | \ - sed '/ [!#]$$/{N;s| \([!#]\)\(\n\s*\)\([0-9][0-9]*\)|\2\1\3|;};' > notes.txt + sed '/ [!#]$$/{N;s| \([!#]\)\(\n[[:space:]]*\)\([0-9][0-9]*\)|\2\1\3|;};' > notes.txt # use xmllint to process include Bv9ARM.html: Bv9ARM-book.xml ${NOTESXML} releaseinfo.xml pkgversion.xml noteversion.xml