
coq_makefile -R . Metarouting -f Make  > Makefile 