File build/update-wiki-docs artifact 18ccdf9d95 part of check-in f7d1440f12
#! /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 's@^AC_INIT([^,]*, *@@;s@,.*$@@;s@ *)$@@')" fi newBody="$(cat tls.htm | sed '/<\/body>/,$ d;0,/<body[ >]/ d;/<!--/,/-->/ d' | sed 's/@@VERS@@/'"${version}"'/g' | grep -iv '^<!doctype')" oldBody="$(fossil wiki export 'Documentation')" if [ "${newBody}" != "${oldBody}" ]; then echo "${newBody}" | fossil wiki commit 'Documentation' fi