From cae98695941b9ef67d82aad4eb5966026dee85bc Mon Sep 17 00:00:00 2001 From: Garrett D'Amore Date: Sun, 26 Jan 2020 23:57:30 -0800 Subject: Publishing updates for tip --- _tools/pubrefman.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '_tools/pubrefman.sh') diff --git a/_tools/pubrefman.sh b/_tools/pubrefman.sh index e4cfb7b1..6c6f14b6 100644 --- a/_tools/pubrefman.sh +++ b/_tools/pubrefman.sh @@ -81,8 +81,8 @@ done index=${scratch}/adoc/index.adoc toc=${scratch}/html/_toc.html -printf "