From 5bd02d6b80fe7825f7ece3f5a80dbfec62b2de87 Mon Sep 17 00:00:00 2001 From: defanor Date: Sun, 2 Jun 2019 12:41:28 +0300 Subject: Add heading IDs --- tools/xml-to-html.xsl | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'tools/xml-to-html.xsl') diff --git a/tools/xml-to-html.xsl b/tools/xml-to-html.xsl index 918cc49..261397f 100644 --- a/tools/xml-to-html.xsl +++ b/tools/xml-to-html.xsl @@ -2,7 +2,9 @@ @@ -127,6 +129,16 @@ + + + + + + + + + + -- cgit v1.2.3