# HG changeset patch # User Matti Hamalainen # Date 1622454764 -10800 # Node ID de06d98f82a12d4ccf3758e5c9a39e41b5bb95a7 # Parent 4410e2d1bff3c8dc2b879543b0baa45ac7b39faa Strip any trailing "." from Ptr link text. diff -r 4410e2d1bff3 -r de06d98f82a1 lxmldump.py --- a/lxmldump.py Mon May 31 12:22:40 2021 +0300 +++ b/lxmldump.py Mon May 31 12:52:44 2021 +0300 @@ -275,7 +275,7 @@ def pkk_ptr_to_text(pnode): pfmt = pkk_get_fmt("ptr_fmt") return pfmt.format( - text=("".join(pnode.itertext())).strip(), + text=("".join(pnode.itertext())).strip().rstrip("."), href=pnode.attrib["{http://www.w3.org/TR/xlink}href"])