diff options
| author | Théo Zimmermann | 2019-05-24 16:36:46 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-05-24 16:36:46 +0200 |
| commit | 5727443376480be4793757fd5507621ad4f09509 (patch) | |
| tree | 2fff9e86c24d1d6d82c3ed59919d3b3de4112189 /dev | |
| parent | 5596cf352d1c265fd5627dc19416d2b55c10f2b7 (diff) | |
| parent | be40007de49140d403bb1dad1af9f4f1e3fe5003 (diff) | |
Merge PR #10233: Fixing typos - Part 3
Reviewed-by: Zimmi48
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/build/windows/ReadMe.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev/build/windows/ReadMe.txt b/dev/build/windows/ReadMe.txt index 55b46c616c..052014824f 100644 --- a/dev/build/windows/ReadMe.txt +++ b/dev/build/windows/ReadMe.txt @@ -131,7 +131,7 @@ mingwinCygwin: Install coq in the default Cygwin mingw sysroot folder. Todo: The coq share folder should be configured to e.g. /share/coq. As is, coqc scans the complete share folder, which slows it down 5x for short files. -absoloute: Install coq in the absolute path given with -destcoq. +absolute: Install coq in the absolute path given with -destcoq. The resulting Coq will not be relocatable. That is the root folder must not be renamed/moved. @@ -299,7 +299,7 @@ The version of Coq to download and compile. Possible values: 8.4pl6, 8.5pl2, 8.5pl3, 8.6 (download from https://coq.inria.fr/distrib/V$COQ_VERSION/files/coq-<version>.tar.gz) Others versions might work, but are untested. - 8.4 is only tested in mode=absoloute + 8.4 is only tested in mode=absolute git-v8.6, git-trunk (download from https://github.com/coq/coq/archive/<version without git->.zip) |