summaryrefslogtreecommitdiff
path: root/_tools/pubrefman.sh
diff options
context:
space:
mode:
authorGarrett D'Amore <garrett@damore.org>2020-01-26 23:22:13 -0800
committerGarrett D'Amore <garrett@damore.org>2020-01-26 23:22:13 -0800
commit4d5cdd1468e94c1e9e4bf37bb7133fbb7e99818b (patch)
tree9cce790fe29293856bca762dc84cccaae2809839 /_tools/pubrefman.sh
parent92051f7290d194feff69e373931068f36635e3df (diff)
downloadnng-4d5cdd1468e94c1e9e4bf37bb7133fbb7e99818b.tar.gz
nng-4d5cdd1468e94c1e9e4bf37bb7133fbb7e99818b.tar.bz2
nng-4d5cdd1468e94c1e9e4bf37bb7133fbb7e99818b.zip
Publishing updates for tip
Diffstat (limited to '_tools/pubrefman.sh')
-rw-r--r--_tools/pubrefman.sh4
1 files changed, 2 insertions, 2 deletions
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