cpsa-4.4.1: coq/mkdoc

#! /bin/sh
make coq.mk
exec make -f procdoc.mk "$@"