On 02/09/2015 06:23 PM, Liam R E Quin liam(_at_)w3(_dot_)org wrote:
I'd probably do this in two steps -
(1) match text() and turn one or more whitespace characters into a
space, probably using replace()
(2) strip leading space from the first text() in p, and trailing
space from the last;
My algorithm (for which I can’t find code right now, but may rewrite
later) is to concatenate the following:
1) If the text node starts with a space, a single space.
2) The results of normalize-space().
3) If the text node ends with a space, a single space.
~Chris
--
Chris Maden, text nerd <URL: http://crism.maden.org/ >
Surround hate and force it to surrender.
GnuPG fingerprint: DB08 CF6C 2583 7F55 3BE9 A210 4A51 DBAC 5C5C 3D5E
--~----------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
EasyUnsubscribe: http://lists.mulberrytech.com/unsub/xsl-list/1167547
or by email: xsl-list-unsub(_at_)lists(_dot_)mulberrytech(_dot_)com
--~--