From 4d5cdd1468e94c1e9e4bf37bb7133fbb7e99818b Mon Sep 17 00:00:00 2001
From: Garrett D'Amore <garrett@damore.org>
Date: Sun, 26 Jan 2020 23:22:13 -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 b40ca958..61888cb3 100644
--- a/_tools/pubrefman.sh
+++ b/_tools/pubrefman.sh
@@ -146,9 +146,9 @@ process_manpage() {
                         cat <<EOF
 {% if page.version and page.version != site.latest  %}
 {% if page.version == "tip" %}
-{% include tip_version.html %}
+{% include manpage-tip.html %}
 {% else %}
-{% include old_version.html %}
+{% include manpage-old.html %}
 {% endif %}
 {% endif %}
 EOF
-- 
cgit v1.2.3-70-g09d2