Revise doc building to include the SVN revision number if we are doing dev release

git-svn-id: http://svn.osgeo.org/postgis/trunk@16460 b70326c6-7e19-0410-871a-916f4a2858ee

diff --git a/ci/debbie/postgis_release_docs.sh b/ci/debbie/postgis_release_docs.sh
index 9a8cc77d212c5eb62eeef78edda603e5f2d98f5e..94689df9db120bb10cd74f766390e3b050849e03 100644 (file)
--- a/ci/debbie/postgis_release_docs.sh
+++ b/ci/debbie/postgis_release_docs.sh
@@ -47,7 +47,8 @@ echo "Micro: $POSTGIS_MICRO_VERSION"
 #inject a development time stamp if we are in development branch
 if [[ "$POSTGIS_MICRO_VERSION" == *"dev"* ]]; then
   export GIT_TIMESTAMP=`git log -1 --pretty=format:%ct`
-  sed -e "s:</title>:</title><subtitle><subscript>DEV TIMESTAMP (<emphasis>${GIT_TIMESTAMP}</emphasis>)</subscript></subtitle>:" postgis.xml.orig > postgis.xml
+  export VREV=`cat "$outdir"/postgis_svn_revision.h | awk '{print $3}'`
+  sed -e "s:</title>:</title><subtitle><subscript>REV: $VREV DEV TIMESTAMP (<emphasis>${GIT_TIMESTAMP}</emphasis>)</subscript></subtitle>:" postgis.xml.orig > postgis.xml
 fi
 
 make pdf