From 55ad0f9b38ccd18ef5bced2582463cc697126792 Mon Sep 17 00:00:00 2001
From: Garrett D'Amore <garrett@damore.org>
Date: Fri, 18 May 2018 10:18:03 -0700
Subject: fixes #455 publish script for man pages needs updates

---
 docs/man/publish.sh | 6 ++++--
 1 file 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
-- 
cgit v1.2.3-70-g09d2