From aa971594ed016134f07db2a2523feaa3d0c109db Mon Sep 17 00:00:00 2001
From: Garrett D'Amore <garrett@damore.org>
Date: Sun, 26 Jan 2020 20:27:27 -0800
Subject: Publishing updates for tip

---
 _tools/pubrefman.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to '_tools')

diff --git a/_tools/pubrefman.sh b/_tools/pubrefman.sh
index c545ecf1..4c39973d 100644
--- a/_tools/pubrefman.sh
+++ b/_tools/pubrefman.sh
@@ -140,6 +140,7 @@ process_manpage() {
                         printf "layout: ${layout}\n"
                         printf "title: ${title}\n"
                         printf -- "---\n"
+                        cat ${toc}
                         printf "<main>\n"
                         skip=
                         ;;
-- 
cgit v1.2.3-70-g09d2