From 6b59540a2460633df4e3d8347cb4dfe2fb3a3afb Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Wed, 16 Oct 2019 11:26:43 +0200
Subject: removing everything but index which redirects to the new page

---
 docs/README.md | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 docs/README.md

(limited to 'docs/README.md')

diff --git a/docs/README.md b/docs/README.md
deleted file mode 100644
index 55e55b0..0000000
--- a/docs/README.md
+++ /dev/null
@@ -1,6 +0,0 @@
-This directory contains the website:
-  http://math-comp.github.io/math-comp/
-What is committed in here goes straight online.
-
-By running make in htmldoc one updates the html files 
-generated by coqdoc and the library graph.
-- 
cgit v1.2.3