From 93c71b520bcb2374abd5d2553d3493392a640983 Mon Sep 17 00:00:00 2001
From: Garrett D'Amore <garrett@damore.org>
Date: Sun, 26 Jan 2020 23:06:34 -0800
Subject: Publishing updates for tip

---
 _tools/pubrefman.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to '_tools/pubrefman.sh')

diff --git a/_tools/pubrefman.sh b/_tools/pubrefman.sh
index 772883ae..b40ca958 100644
--- a/_tools/pubrefman.sh
+++ b/_tools/pubrefman.sh
@@ -81,7 +81,8 @@ done
 
 index=${scratch}/adoc/index.adoc
 toc=${scratch}/html/_toc.html
-printf "<nav id=\"toc\" class=\"toc2\">\n" > ${toc}
+printf "<span id=\"toctitle\">Table of Contents</span>\n" > ${toc}
+printf "<nav id=\"toc\" class=\"toc2\">\n" >> ${toc}
 printf "<ul class=\"sectlevel1\n\">\n" >> ${toc}
 printf "# NNG Reference Manual\n" >> ${index}
 for sect in $(echo ${!pages[@]} | tr " " "\n" | sort ); do
-- 
cgit v1.2.3-70-g09d2