#!/bin/sh -e for file in "data" "log" "tangle" "weave" ; do in="${file}.lp" ; out="doc/freestanding/${file}.html" ; cp "doc/header-html" "$out" ; printf "