#!/bin/sh if test `uname -s` = 'Darwin'; then SED=gsed else SED=sed fi TEST_URL=`grep strus_url config.toml | cut -f 2 -d '"'` rm -rf public hugo -v -b http://www.andreasbaumann.cc/ $SED -i "s@$TEST_URL@http://www.andreasbaumann.cc/strus/query/wwwandreasbaumanncc@g" \ public/search/index.html cp themes/new_theme/layouts/robots.txt public/.