From f3d2a1b2ac717cd9faabd5106ff2bc366c49bd6a Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Tue, 26 Nov 2013 16:20:52 +0100 Subject: [PATCH] xml: also display %empty for empty right-hand sides * data/xslt/xml2dot.xsl, data/xslt/xml2text.xsl: Display %empty where needed. --- data/xslt/xml2dot.xsl | 6 +++++- data/xslt/xml2text.xsl | 7 +------ 2 files changed, 6 insertions(+), 7 deletions(-) diff --git a/data/xslt/xml2dot.xsl b/data/xslt/xml2dot.xsl index 93bec599..7b62d6e2 100644 --- a/data/xslt/xml2dot.xsl +++ b/data/xslt/xml2dot.xsl @@ -201,6 +201,8 @@ . + + @@ -214,7 +216,9 @@ - + + %empty + [ diff --git a/data/xslt/xml2text.xsl b/data/xslt/xml2text.xsl index 2626f566..4d34be16 100644 --- a/data/xslt/xml2text.xsl +++ b/data/xslt/xml2text.xsl @@ -350,12 +350,7 @@ . - - - - - - + . -- 2.47.2