diff options
| author | Garrett D'Amore <garrett@damore.org> | 2018-02-25 13:54:40 -0800 |
|---|---|---|
| committer | Garrett D'Amore <garrett@damore.org> | 2018-02-25 13:54:40 -0800 |
| commit | 545942f7ace7cde8a1b8a6a5289cecc185b08fbc (patch) | |
| tree | 1bcdcb23828c610026af0e9205f2beaf87a62f7c /docs/publish.sh | |
| parent | 9d3b04f01baf6565ea9e5637a1bd3e54651de307 (diff) | |
| download | nng-545942f7ace7cde8a1b8a6a5289cecc185b08fbc.tar.gz nng-545942f7ace7cde8a1b8a6a5289cecc185b08fbc.tar.bz2 nng-545942f7ace7cde8a1b8a6a5289cecc185b08fbc.zip | |
Better way to handle copyright.
We move the copyright info along with trademark info to the refman
layout. The source files still have their own inline copyright (now
in correct readable form).
This leads towards being able to generate that master reference manual.
Diffstat (limited to 'docs/publish.sh')
| -rwxr-xr-x | docs/publish.sh | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/docs/publish.sh b/docs/publish.sh index 85c2107c..8ef60b58 100755 --- a/docs/publish.sh +++ b/docs/publish.sh @@ -23,11 +23,12 @@ tmpdir=$(mktemp -d) srcdir=$(dirname $0) dstdir=${tmpdir}/pages cd ${srcdir} -vers=$(cat ../.version) -dstman=${dstdir}/man/v${vers} -name=nng +VERSION=$(cat ../.version) MANMANUAL="NNG Reference Manual" MANSOURCE="NNG" +LAYOUT=refman +dstman=${dstdir}/man/v${VERSION} +name=nng giturl="${GITURL:-git@github.com:nanomsg/nng}" @@ -57,8 +58,8 @@ for input in $(find . -name '*.adoc'); do when=$(git log -n1 --format='%ad' '--date=format-local:%s' $input ) cat <<EOF > ${output} --- -version: ${vers} -layout: default +version: ${VERSION} +layout: ${LAYOUT} --- EOF @@ -80,8 +81,7 @@ EOF -dmanpage \ -amansource="${MANSOURCE}" \ -amanmanual="${MANMANUAL}" \ - -aversion-label=${name} \ - -arevnumber=${vers} \ + -anofooter=yes \ -askip-front-matter \ -atoc=left \ -asource-highlighter=pygments \ @@ -112,4 +112,4 @@ then exit 1 fi -(cd ${dstman}; git commit -m "man page updates for ${vers}"; git push origin gh-pages) +(cd ${dstman}; git commit -m "man page updates for ${VERSION}"; git push origin gh-pages) |