diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2017-12-19 11:34:54 +0100 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2017-12-19 11:34:54 +0100 |
| commit | 1bc288591ea4fe3159b7630dcd2b57733d80a2ff (patch) | |
| tree | 5d60618694c7863ed8ad3de8ba980098601b9e97 /doc/languages-frameworks/coq.xml | |
| parent | 502ebb0ae5b6347efefbaf76c7972408efe45f6f (diff) | |
| download | nixpkgs-1bc288591ea4fe3159b7630dcd2b57733d80a2ff.tar nixpkgs-1bc288591ea4fe3159b7630dcd2b57733d80a2ff.tar.gz nixpkgs-1bc288591ea4fe3159b7630dcd2b57733d80a2ff.tar.bz2 nixpkgs-1bc288591ea4fe3159b7630dcd2b57733d80a2ff.tar.lz nixpkgs-1bc288591ea4fe3159b7630dcd2b57733d80a2ff.tar.xz nixpkgs-1bc288591ea4fe3159b7630dcd2b57733d80a2ff.tar.zst nixpkgs-1bc288591ea4fe3159b7630dcd2b57733d80a2ff.zip | |
coqPackages docs: fix typo (and thus manual build)
Diffstat (limited to 'doc/languages-frameworks/coq.xml')
| -rw-r--r-- | doc/languages-frameworks/coq.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/languages-frameworks/coq.xml b/doc/languages-frameworks/coq.xml index 43da6a3f49d..0ce1abd6194 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> |