1 files changed, 11 insertions, 0 deletions
diff --git a/mathcomp/character/Make b/mathcomp/character/Make
new file mode 100644
index 0000000..646641d
--- /dev/null
+++ b/mathcomp/character/Make
@@ -0,0 +1,11 @@
+all.v
+character.v
+classfun.v
+finfield.v
+inertia.v
+integral_char.v
+mxabelem.v
+mxrepresentation.v
+vcharacter.v
+
+-R . mathcomp.character