From 1bc288591ea4fe3159b7630dcd2b57733d80a2ff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20=C4=8Cun=C3=A1t?= <vcunat@gmail.com>
Date: Tue, 19 Dec 2017 11:34:54 +0100
Subject: [PATCH] coqPackages docs: fix typo (and thus manual build)

---
 doc/languages-frameworks/coq.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/languages-frameworks/coq.xml b/doc/languages-frameworks/coq.xml
index 43da6a3f49d6..0ce1abd6194c 100644
--- a/doc/languages-frameworks/coq.xml
+++ b/doc/languages-frameworks/coq.xml
@@ -18,7 +18,7 @@
   </para>
   <para>
     Coq libraries may be compatible with some specific versions of Coq only.
-    The <liberal>compatibleCoqVersions</liberal> attribute is used to
+    The <literal>compatibleCoqVersions</literal> attribute is used to
     precisely select those versions of Coq that are compatible with this
     derivation.
   </para>