diff options
| author | Garrett D'Amore <garrett@damore.org> | 2018-05-18 10:18:03 -0700 |
|---|---|---|
| committer | Garrett D'Amore <garrett@damore.org> | 2018-05-18 10:18:03 -0700 |
| commit | 55ad0f9b38ccd18ef5bced2582463cc697126792 (patch) | |
| tree | 850c797bf6bfb580a9c183a8a3296da74e2001ba | |
| parent | c13d79054e219a8739db4e2dda668a785211c758 (diff) | |
| download | nng-55ad0f9b38ccd18ef5bced2582463cc697126792.tar.gz nng-55ad0f9b38ccd18ef5bced2582463cc697126792.tar.bz2 nng-55ad0f9b38ccd18ef5bced2582463cc697126792.zip | |
fixes #455 publish script for man pages needs updates
| -rwxr-xr-x | docs/man/publish.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/man/publish.sh b/docs/man/publish.sh index 23889f45..41282ac7 100755 --- a/docs/man/publish.sh +++ b/docs/man/publish.sh @@ -35,7 +35,7 @@ GITVERS=$(cd ${srcdir}; git describe --always) if [[ -z "${VERSION}" ]] then - if [[ "${GITVERS}" == *-* ]] + if [[ "${GITVERS}" == *-g??????? ]] then if [[ "${GITVERS}" == "${TIPVERS}" ]] then @@ -49,9 +49,11 @@ then fi fi +# strip leading v in v1.0.0 +VERSION=${VERSION#v} printf "PUBLISHING version ${VERSION}\n" -if [ ${VERSION} == tip ] +if [ "${VERSION}" == tip ] then dstman=${dstdir}/man/tip else |