From a26603f684695869396e4d4b36306cc190bdb150 Mon Sep 17 00:00:00 2001 From: Andrea Bolognani Date: Tue, 28 Mar 2017 17:13:39 +0200 Subject: [PATCH] news: Allow empty
elements Creating dummy elements was a workaround for the HTML DTD not allowing empty
    elements, but we can do better by tweaking the the XSLT stylesheet. --- docs/news-html.xsl | 8 +++++--- docs/news.xml | 18 ------------------ docs/schemas/news.rng | 13 +++++-------- 3 files changed, 10 insertions(+), 29 deletions(-) diff --git a/docs/news-html.xsl b/docs/news-html.xsl index dcbab86842..dd323f9b3f 100644 --- a/docs/news-html.xsl +++ b/docs/news-html.xsl @@ -57,9 +57,11 @@ -
      - -
    + +
      + +
    +
    diff --git a/docs/news.xml b/docs/news.xml index 014a439f19..9c0dcfd23d 100644 --- a/docs/news.xml +++ b/docs/news.xml @@ -23,19 +23,10 @@
    - - -
    - - -
    - - -
    @@ -44,19 +35,10 @@
    - - -
    - - -
    - - -
    diff --git a/docs/schemas/news.rng b/docs/schemas/news.rng index 94a6870c18..ec4313f621 100644 --- a/docs/schemas/news.rng +++ b/docs/schemas/news.rng @@ -35,21 +35,18 @@ - + - + - - - \n[^\n]+\n + - - - + + \n[^\n]+\n + + -- 2.47.2