# -*- Makefile -*-

COQPROJECT=Make
ROCQMAKEOPTIONS=--no-print-directory

# --------------------------------------------------------------------
include ../Makefile.common
