/test-suite/coq-makefile/
../
arg
compat-subdirs
coqdoc1
coqdoc2
extend-subdirs
latex1
merlin1
mlpack1
mlpack2
multiroot
native1
only
plugin1
plugin2
plugin3
template
uninstall1
uninstall2
validate1