summaryrefslogtreecommitdiff
path: root/_tools/pubrefman.sh
diff options
context:
space:
mode:
authorGarrett D'Amore <garrett@damore.org>2020-01-26 23:06:34 -0800
committerGarrett D'Amore <garrett@damore.org>2020-01-26 23:06:34 -0800
commit93c71b520bcb2374abd5d2553d3493392a640983 (patch)
treea1fa8b600b847c10f85ff7f9b9f6b3533182b214 /_tools/pubrefman.sh
parentb4df94a6c92415e9d61e52ba5f19ed7fb58e7b19 (diff)
downloadnng-93c71b520bcb2374abd5d2553d3493392a640983.tar.gz
nng-93c71b520bcb2374abd5d2553d3493392a640983.tar.bz2
nng-93c71b520bcb2374abd5d2553d3493392a640983.zip
Publishing updates for tip
Diffstat (limited to '_tools/pubrefman.sh')
-rw-r--r--_tools/pubrefman.sh3
1 files changed, 2 insertions, 1 deletions
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