1 files changed, 11 insertions, 0 deletions
diff --git a/mathcomp/fingroup/Make b/mathcomp/fingroup/Make
new file mode 100644
index 0000000..ece5714
--- /dev/null
+++ b/mathcomp/fingroup/Make
@@ -0,0 +1,11 @@
+action.v
+all.v
+automorphism.v
+fingroup.v
+gproduct.v
+morphism.v
+perm.v
+presentation.v
+quotient.v
+
+-R . mathcomp.fingroup