#!/bin/bash # # Usage: # ./html.sh set -o nounset set -o pipefail set -o errexit basic-head() { local title=$1 cat < $title oilshell.org $title EOF } basic-tail() { cat < EOF } "$@"
oilshell.org
EOF } basic-tail() { cat < EOF } "$@"