review/scripts/generate-docs.sh

14 lines
334 B
Bash
Executable File

#!/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