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:]].

(cherry picked from commit b25e6b51f6e16c983ab7c0f5cd8187bdd197b8d3)

diff --git a/doc/arm/Makefile.in b/doc/arm/Makefile.in
index 4cc486a3d9885f22535edcc61dc9c5ce5d9189db..e3e63bd5bbf0dd074662ddf7fbd70b9ee2894613 100644 (file)
--- a/doc/arm/Makefile.in
+++ b/doc/arm/Makefile.in
@@ -69,7 +69,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