1 files changed, 21 insertions, 0 deletions
diff --git a/mathcomp/algebra/Make b/mathcomp/algebra/Make
new file mode 100644
index 0000000..d9f4c63
--- /dev/null
+++ b/mathcomp/algebra/Make
@@ -0,0 +1,21 @@
+all.v
+finalg.v
+fraction.v
+intdiv.v
+interval.v
+matrix.v
+mxalgebra.v
+mxpoly.v
+polydiv.v
+poly.v
+polyXY.v
+rat.v
+ring_quotient.v
+ssralg.v
+ssrint.v
+ssrnum.v
+vector.v
+zmodp.v
+cyclic.v
+
+-R . mathcomp.algebra