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