From ec39d9ce2f43c30d760b33293bb76eca6749b13f Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 26 Mar 2020 15:24:21 +0100
Subject: CIC is printed in all-caps.

As CIC is really an acronym, it should be printed in all-caps.
---
 doc/sphinx/refman-preamble.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/sphinx/refman-preamble.rst b/doc/sphinx/refman-preamble.rst
index a31d778af6..05e665a43b 100644
--- a/doc/sphinx/refman-preamble.rst
+++ b/doc/sphinx/refman-preamble.rst
@@ -14,7 +14,7 @@
 .. |c_1| replace:: `c`\ :math:`_{1}`
 .. |c_i| replace:: `c`\ :math:`_{i}`
 .. |c_n| replace:: `c`\ :math:`_{n}`
-.. |Cic| replace:: :smallcaps:`Cic`
+.. |Cic| replace:: CIC
 .. |Coq| replace:: :smallcaps:`Coq`
 .. |CoqIDE| replace:: :smallcaps:`CoqIDE`
 .. |eq_beta_delta_iota_zeta| replace:: `=`\ :math:`_{\beta\delta\iota\zeta}`
-- 
cgit v1.2.3