From b4df94a6c92415e9d61e52ba5f19ed7fb58e7b19 Mon Sep 17 00:00:00 2001
From: Garrett D'Amore <garrett@damore.org>
Date: Sun, 26 Jan 2020 23:04:14 -0800
Subject: More layout tweaks - for the warning header.

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

(limited to '_tools/pubrefman.sh')

diff --git a/_tools/pubrefman.sh b/_tools/pubrefman.sh
index 4c39973d..772883ae 100644
--- a/_tools/pubrefman.sh
+++ b/_tools/pubrefman.sh
@@ -142,6 +142,15 @@ process_manpage() {
                         printf -- "---\n"
                         cat ${toc}
                         printf "<main>\n"
+                        cat <<EOF
+{% if page.version and page.version != site.latest  %}
+{% if page.version == "tip" %}
+{% include tip_version.html %}
+{% else %}
+{% include old_version.html %}
+{% endif %}
+{% endif %}
+EOF
                         skip=
                         ;;
                 "</body"*)
-- 
cgit v1.2.3-70-g09d2