From da9bec4f8cdbd568872dcb8f9a427c36bff1a6f4 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 10 Nov 2015 11:38:08 +0100
Subject: fix INSTALL symlinks

---
 mathcomp/algebra/INSTALL     | 2 +-
 mathcomp/attic/INSTALL       | 2 +-
 mathcomp/character/INSTALL   | 2 +-
 mathcomp/field/INSTALL       | 2 +-
 mathcomp/fingroup/INSTALL    | 2 +-
 mathcomp/odd_order/INSTALL   | 2 +-
 mathcomp/real_closed/INSTALL | 2 +-
 mathcomp/solvable/INSTALL    | 2 +-
 mathcomp/ssreflect/INSTALL   | 2 +-
 9 files changed, 9 insertions(+), 9 deletions(-)

(limited to 'mathcomp')

diff --git a/mathcomp/algebra/INSTALL b/mathcomp/algebra/INSTALL
index 6aa7ec5..573e04d 120000
--- a/mathcomp/algebra/INSTALL
+++ b/mathcomp/algebra/INSTALL
@@ -1 +1 @@
-../../etc/INSTALL
\ No newline at end of file
+../../etc/INSTALL.md
\ No newline at end of file
diff --git a/mathcomp/attic/INSTALL b/mathcomp/attic/INSTALL
index 6aa7ec5..573e04d 120000
--- a/mathcomp/attic/INSTALL
+++ b/mathcomp/attic/INSTALL
@@ -1 +1 @@
-../../etc/INSTALL
\ No newline at end of file
+../../etc/INSTALL.md
\ No newline at end of file
diff --git a/mathcomp/character/INSTALL b/mathcomp/character/INSTALL
index 6aa7ec5..573e04d 120000
--- a/mathcomp/character/INSTALL
+++ b/mathcomp/character/INSTALL
@@ -1 +1 @@
-../../etc/INSTALL
\ No newline at end of file
+../../etc/INSTALL.md
\ No newline at end of file
diff --git a/mathcomp/field/INSTALL b/mathcomp/field/INSTALL
index 6aa7ec5..573e04d 120000
--- a/mathcomp/field/INSTALL
+++ b/mathcomp/field/INSTALL
@@ -1 +1 @@
-../../etc/INSTALL
\ No newline at end of file
+../../etc/INSTALL.md
\ No newline at end of file
diff --git a/mathcomp/fingroup/INSTALL b/mathcomp/fingroup/INSTALL
index 6aa7ec5..573e04d 120000
--- a/mathcomp/fingroup/INSTALL
+++ b/mathcomp/fingroup/INSTALL
@@ -1 +1 @@
-../../etc/INSTALL
\ No newline at end of file
+../../etc/INSTALL.md
\ No newline at end of file
diff --git a/mathcomp/odd_order/INSTALL b/mathcomp/odd_order/INSTALL
index 6aa7ec5..573e04d 120000
--- a/mathcomp/odd_order/INSTALL
+++ b/mathcomp/odd_order/INSTALL
@@ -1 +1 @@
-../../etc/INSTALL
\ No newline at end of file
+../../etc/INSTALL.md
\ No newline at end of file
diff --git a/mathcomp/real_closed/INSTALL b/mathcomp/real_closed/INSTALL
index 6aa7ec5..573e04d 120000
--- a/mathcomp/real_closed/INSTALL
+++ b/mathcomp/real_closed/INSTALL
@@ -1 +1 @@
-../../etc/INSTALL
\ No newline at end of file
+../../etc/INSTALL.md
\ No newline at end of file
diff --git a/mathcomp/solvable/INSTALL b/mathcomp/solvable/INSTALL
index 6aa7ec5..573e04d 120000
--- a/mathcomp/solvable/INSTALL
+++ b/mathcomp/solvable/INSTALL
@@ -1 +1 @@
-../../etc/INSTALL
\ No newline at end of file
+../../etc/INSTALL.md
\ No newline at end of file
diff --git a/mathcomp/ssreflect/INSTALL b/mathcomp/ssreflect/INSTALL
index 6aa7ec5..573e04d 120000
--- a/mathcomp/ssreflect/INSTALL
+++ b/mathcomp/ssreflect/INSTALL
@@ -1 +1 @@
-../../etc/INSTALL
\ No newline at end of file
+../../etc/INSTALL.md
\ No newline at end of file
-- 
cgit v1.2.3