File build/update-wiki-docs artifact 18ccdf9d95 part of check-in 2db3a07c5e

#! /usr/bin/env bash

version="$1"

cd "$(dirname "$(which "$0")")/.." || exit 1

if [ -z "${version}" ]; then
	version="$(cat configure.in | grep AC_INIT | head -1 | sed '[email protected]^AC_INIT([^,]*, *@@;[email protected],.*[email protected]@;[email protected] *)[email protected]@')"
fi

newBody="$(cat tls.htm  | sed '/<\/body>/,$ d;0,/<body[ >]/ d;/<!--/,/-->/ d' | sed 's/@@[email protected]@/'"${version}"'/g' | grep -iv '^<!doctype')"
oldBody="$(fossil wiki export 'Documentation')"

if [ "${newBody}" != "${oldBody}" ]; then
	echo "${newBody}" | fossil wiki commit 'Documentation'
fi