#!/bin/bash

coq_makefile -f _CoqProject -o Makefile