diff options
| author | Garrett D'Amore <garrett@damore.org> | 2020-01-26 23:04:14 -0800 |
|---|---|---|
| committer | Garrett D'Amore <garrett@damore.org> | 2020-01-26 23:04:14 -0800 |
| commit | b4df94a6c92415e9d61e52ba5f19ed7fb58e7b19 (patch) | |
| tree | 03e55e6d46d8b5e24197ce2045eb919fe33736fa /_tools/pubrefman.sh | |
| parent | 82691c7576c7adb9ca3f57246545addc6a0a590b (diff) | |
| download | nng-b4df94a6c92415e9d61e52ba5f19ed7fb58e7b19.tar.gz nng-b4df94a6c92415e9d61e52ba5f19ed7fb58e7b19.tar.bz2 nng-b4df94a6c92415e9d61e52ba5f19ed7fb58e7b19.zip | |
More layout tweaks - for the warning header.
Diffstat (limited to '_tools/pubrefman.sh')
| -rw-r--r-- | _tools/pubrefman.sh | 9 |
1 files changed, 9 insertions, 0 deletions
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"*) |