#!/bin/sh set -eu cd "$(dirname "$0")"/.. echo "Entering directory '$PWD'" root=../../scheme-review for proposal in $(cd "$root" && ls -d 20*-*); do source="$root/$proposal/document.md" target="www/$proposal.html" if test -f "$source"; then echo "Writing $target" pandoc -o "$target" "$source" fi done