#sed -e "s:</title>:</title><subtitle><subscript>SVN Revision (<emphasis>${POSTGIS_SVN_REVISION}</emphasis>)</subscript></subtitle>:" postgis.xml.orig > postgis.xml
#inject a development time stamp if we are in development branch
-if [[ "${POSTGIS_MICRO_VERSION}" == *dev* ]] ; then
+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
fi
make epub
make -e chunked-html 2>&1 | tee -a doc-errors.log
-if [[ "$reference" == *trunk* ]] ; then #only do this for trunk because only trunk follows transifex
+if [ "$reference" == *trunk* ] ; then #only do this for trunk because only trunk follows transifex
make update-po
make -C po/it_IT/ local-html
make -C po/pt_BR/ local-html