From c91f9c180fda584be0fb5b068243c44cf1374a62 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 11 Apr 2018 22:44:14 +0200
Subject: [sphinx] Remove migration artefacts.

These were used very inconsistenty, serve no purpose and the link
to the source is particularly useless because it's a moving target.
---
 doc/sphinx/language/coq-library.rst | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'doc/sphinx/language')

diff --git a/doc/sphinx/language/coq-library.rst b/doc/sphinx/language/coq-library.rst
index 29053d6a57..82ced65b4a 100644
--- a/doc/sphinx/language/coq-library.rst
+++ b/doc/sphinx/language/coq-library.rst
@@ -5,9 +5,6 @@
 The |Coq| library
 =================
 
-:Source: https://coq.inria.fr/distrib/current/refman/stdlib.html
-:Converted by: Pierre Letouzey
-
 .. index::
    single: Theories
 
-- 
cgit v1.2.3