site/build.sh

#! /usr/bin/env bash
BASH_FILE="$(realpath "${BASH_SOURCE[0]}")"
BASH_ROOT="$(dirname "${FILE}")"

cd "${BASH_ROOT}"
make 'clean'
make 'publish'
build.sh 2021-11-08 22:09:17 +01:00			`#! /usr/bin/env bash`
			`BASH_FILE="$(realpath "${BASH_SOURCE[0]}")"`
			`BASH_ROOT="$(dirname "${FILE}")"`
build 2020-04-12 04:26:47 +02:00
build.sh 2021-11-08 22:09:17 +01:00			`cd "${BASH_ROOT}"`
			`make 'clean'`
			`make 'publish'`