From a09edd1703d9ff103a2157c0b0e910d740ce8629 Mon Sep 17 00:00:00 2001
From: Alexandre Franke <alexandre.franke@gmail.com>
Date: Sun, 24 Nov 2019 02:13:23 +0100
Subject: Add support for $toc-title$ to HTML (4 and 5) (#5930)

---
 data/templates/default.html4 | 3 +++
 data/templates/default.html5 | 3 +++
 2 files changed, 6 insertions(+)

(limited to 'data')

diff --git a/data/templates/default.html4 b/data/templates/default.html4
index 5f9b43e47..f0dd8880e 100644
--- a/data/templates/default.html4
+++ b/data/templates/default.html4
@@ -47,6 +47,9 @@ $endif$
 $endif$
 $if(toc)$
 <div id="$idprefix$TOC">
+$if(toc-title)$
+<h2 id="$idprefix$toc-title">$toc-title$</h2>
+$endif$
 $table-of-contents$
 </div>
 $endif$
diff --git a/data/templates/default.html5 b/data/templates/default.html5
index eff6e73ab..0676215d4 100644
--- a/data/templates/default.html5
+++ b/data/templates/default.html5
@@ -50,6 +50,9 @@ $endif$
 $endif$
 $if(toc)$
 <nav id="$idprefix$TOC" role="doc-toc">
+$if(toc-title)$
+<h2 id="$idprefix$toc-title">$toc-title$</h2>
+$endif$
 $table-of-contents$
 </nav>
 $endif$
-- 
cgit v1.2.3