Prevent splitting GitLab identifiers across lines

GitLab issue and merge request numbers placed in release notes (in the
form of "#1234" for issues and "!5678" for merge requests) should not be
split across two lines.  Extend the shell pipeline generating
doc/arm/notes.txt with a sed invocation which prevents such splitting.

diff --git a/doc/arm/Makefile.in b/doc/arm/Makefile.in
index b623445804d27669aec2aa2444e0e975956b2b59..fa489909376b27280cf1ee0690787bca02c3c941 100644 (file)
--- a/doc/arm/Makefile.in
+++ b/doc/arm/Makefile.in
@@ -54,10 +54,16 @@ notes.pdf: notes-wrapper.xml ${NOTESXML} releaseinfo.xml pkgversion.xml notevers
        ${XSLTPROC} ${top_srcdir}/doc/xsl/pre-latex.xsl notes-wrapper.xml | \
        ${DBLATEX} -c notes.conf -Pdoc.layout="mainmatter" -o notes.pdf -
 
+# Produce notes.txt from notes.html using w3m, with some post-processing:
+#
+#  - remove trailing spaces from every line,
+#  - remove empty lines from the end of the document,
+#  - prevent GitLab issue/MR identifiers from being split across two lines.
 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' > notes.txt
+               sed -e :a -e '/^\n*$$/{$$d;N;};/\n$$/ba' | \
+               sed '/ [!#]$$/{N;s| \([!#]\)\(\n\s*\)\([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