From b33be8a04fda5e99add1f8985a7c350846defa16 Mon Sep 17 00:00:00 2001 From: Nick Wellnhofer Date: Wed, 24 Aug 2022 14:29:50 +0200 Subject: [PATCH] Switch back to HTML output for API documentation --- doc/devhelp/devhelp2.xsl | 2 +- doc/devhelp/html.xsl | 6 ++---- 2 files changed, 3 insertions(+), 5 deletions(-) diff --git a/doc/devhelp/devhelp2.xsl b/doc/devhelp/devhelp2.xsl index 92cc7f65..d04dc500 100644 --- a/doc/devhelp/devhelp2.xsl +++ b/doc/devhelp/devhelp2.xsl @@ -33,7 +33,7 @@ - + diff --git a/doc/devhelp/html.xsl b/doc/devhelp/html.xsl index da22621e..b658f678 100644 --- a/doc/devhelp/html.xsl +++ b/doc/devhelp/html.xsl @@ -4,8 +4,6 @@ xmlns:str="http://exslt.org/strings" extension-element-prefixes="exsl str" exclude-result-prefixes="exsl str"> - - @@ -497,7 +495,7 @@ --> - + @@ -537,7 +535,7 @@ --> - +