coqPackages docs: fix typo (and thus manual build)

NixOS · Dec 19, 2017 · 1bc2885 · 1bc2885
1 parent 502ebb0
commit 1bc2885
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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>