diff options
| author | Garrett D'Amore <garrett@damore.org> | 2020-01-26 20:27:27 -0800 |
|---|---|---|
| committer | Garrett D'Amore <garrett@damore.org> | 2020-01-26 20:27:27 -0800 |
| commit | aa971594ed016134f07db2a2523feaa3d0c109db (patch) | |
| tree | 43203459f377fb6d6e3ac1c76f313c7cd16f4838 /_tools | |
| parent | e80ba7f43993318b1b55d970598b39a89bcd2a60 (diff) | |
| download | nng-aa971594ed016134f07db2a2523feaa3d0c109db.tar.gz nng-aa971594ed016134f07db2a2523feaa3d0c109db.tar.bz2 nng-aa971594ed016134f07db2a2523feaa3d0c109db.zip | |
Publishing updates for tip
Diffstat (limited to '_tools')
| -rw-r--r-- | _tools/pubrefman.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_tools/pubrefman.sh b/_tools/pubrefman.sh index c545ecf1..4c39973d 100644 --- a/_tools/pubrefman.sh +++ b/_tools/pubrefman.sh @@ -140,6 +140,7 @@ process_manpage() { printf "layout: ${layout}\n" printf "title: ${title}\n" printf -- "---\n" + cat ${toc} printf "<main>\n" skip= ;; |