/test-suite/coq-makefile/template/
../
init.sh
src
theories