From b3999ead5497a406653d1ae7c8c7af558d4c6595 Mon Sep 17 00:00:00 2001
From: Yannick Forster
Date: Thu, 8 Apr 2021 11:36:46 +0200
Subject: Fix link in doc/cic.rst, there is no Credits chapter anymore

---
 doc/sphinx/language/cic.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/sphinx/language/cic.rst b/doc/sphinx/language/cic.rst
index 9f097b4fe9..abe928fa26 100644
--- a/doc/sphinx/language/cic.rst
+++ b/doc/sphinx/language/cic.rst
@@ -5,7 +5,7 @@ The underlying formal language of Coq is a
 :gdef:`Calculus of Inductive Constructions` (|Cic|) whose inference rules
 are presented in this
 chapter. The history of this formalism as well as pointers to related
-work are provided in a separate chapter; see *Credits*.
+work are provided in a separate chapter; see :ref:`history`.
 
 
 .. _The-terms:
-- 
cgit v1.2.3