#!/usr/bin/env sh
qedoc -o doc/qedoc/ -t "QED Demonstrandum" qed/*.rdoc