Unverified Commit 1bc28859 authored by Vladimír Čunát's avatar Vladimír Čunát
Browse files

coqPackages docs: fix typo (and thus manual build)

parent 502ebb0a

doc/languages-frameworks/coq.xml

+1 −1
Original line number Diff line number Diff line
@@ -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>