From d226438118e60bc04075c2ef62d61bffe5d72beb Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Thu, 2 Apr 2015 12:50:02 +0200
Subject: packaging all

---
 mathcomp/all/all.v      | 9 +++------
 mathcomp/attic/AUTHORS  | 1 +
 mathcomp/attic/CeCILL-B | 1 +
 mathcomp/attic/INSTALL  | 1 +
 mathcomp/attic/README   | 1 +
 5 files changed, 7 insertions(+), 6 deletions(-)
 create mode 120000 mathcomp/attic/AUTHORS
 create mode 120000 mathcomp/attic/CeCILL-B
 create mode 120000 mathcomp/attic/INSTALL
 create mode 120000 mathcomp/attic/README

diff --git a/mathcomp/all/all.v b/mathcomp/all/all.v
index 9be65b2..20c76bf 100644
--- a/mathcomp/all/all.v
+++ b/mathcomp/all/all.v
@@ -1,10 +1,7 @@
-Require Export mathcomp.algebra.all.
-Require Export mathcomp.attic.all.
-Require Export mathcomp.character.all.
+Require Export mathcomp.ssreflect.all.
 Require Export mathcomp.discrete.all.
+Require Export mathcomp.algebra.all.
 Require Export mathcomp.field.all.
+Require Export mathcomp.character.all.
 Require Export mathcomp.fingroup.all.
-Require Export mathcomp.odd_order.all.
-Require Export mathcomp.real_closed.all.
 Require Export mathcomp.solvable.all.
-Require Export mathcomp.ssreflect.all.
diff --git a/mathcomp/attic/AUTHORS b/mathcomp/attic/AUTHORS
new file mode 120000
index 0000000..b55a98d
--- /dev/null
+++ b/mathcomp/attic/AUTHORS
@@ -0,0 +1 @@
+../../etc/AUTHORS
\ No newline at end of file
diff --git a/mathcomp/attic/CeCILL-B b/mathcomp/attic/CeCILL-B
new file mode 120000
index 0000000..83e22fd
--- /dev/null
+++ b/mathcomp/attic/CeCILL-B
@@ -0,0 +1 @@
+../../etc/CeCILL-B
\ No newline at end of file
diff --git a/mathcomp/attic/INSTALL b/mathcomp/attic/INSTALL
new file mode 120000
index 0000000..6aa7ec5
--- /dev/null
+++ b/mathcomp/attic/INSTALL
@@ -0,0 +1 @@
+../../etc/INSTALL
\ No newline at end of file
diff --git a/mathcomp/attic/README b/mathcomp/attic/README
new file mode 120000
index 0000000..e4e30e8
--- /dev/null
+++ b/mathcomp/attic/README
@@ -0,0 +1 @@
+../../etc/README
\ No newline at end of file
-- 
cgit v1.2.3