packaging fingroup and algebra

The files zmodp and cyclic in fingroup had dependecies in algebra so I put them there.
I'm not convinced it's the best solution to this problem.
Maybe more subdivisions in algebra would bring a better solution?

(Maybe we should send the whole problem to a solver? :P)

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