mathcomp/character/Makefile


1
2
3
4
5
6
7

# -*- Makefile -*-

COQPROJECT=Make
COQMAKEOPTIONS=--no-print-directory

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