diff options
| author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-19 10:29:49 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-19 10:29:49 +0200 |
| commit | 668c19a9ac0c4f7ee1d17ea0d397045345b34b3f (patch) | |
| tree | 1f78c789fc4893907f46c0d445cfda13a335ea9c /doc/languages-frameworks/coq.xml | |
| parent | 8c399bd6c1cfc8308b0cc7b3f82cb250e0ffc9a7 (diff) | |
coqPackages: update documentation to mention coq.ocamlPackages attribute
Diffstat (limited to 'doc/languages-frameworks/coq.xml')
| -rw-r--r-- | doc/languages-frameworks/coq.xml | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/doc/languages-frameworks/coq.xml b/doc/languages-frameworks/coq.xml index d5f2574039f2..640b04c7da9d 100644 --- a/doc/languages-frameworks/coq.xml +++ b/doc/languages-frameworks/coq.xml @@ -11,10 +11,9 @@ </para> <para> - Some libraries require OCaml and sometimes also Camlp5 or findlib. The exact - versions that were used to build Coq are saved in the - <literal>coq.ocaml</literal> and <literal>coq.camlp5</literal> and - <literal>coq.findlib</literal> attributes. + Some extensions (plugins) might require OCaml and sometimes other OCaml + packages. The <literal>coq.ocamlPackages</literal> attribute can be used + to depend on the same package set Coq was built against. </para> <para> |