diff options
Diffstat (limited to '_tools')
| -rw-r--r-- | _tools/pubrefman.sh | 4 |
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 |