diff options
| author | Kazuhiko Sakaguchi | 2018-08-27 17:24:24 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2018-08-27 17:24:24 +0900 |
| commit | aafe0040d6b4a69b4a6093a3262473e675387664 (patch) | |
| tree | 27451f5397cd877eecf159b13c017ba5ee109210 | |
| parent | 71aa2992f4e8a6eb2bc64ecf9aa40a9b0bc0f233 (diff) | |
Fix wwwrefman and wwwstdlib
| -rw-r--r-- | configure.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.ml b/configure.ml index 7fd900d995..7e0fd4c8ac 100644 --- a/configure.ml +++ b/configure.ml @@ -1214,8 +1214,8 @@ let write_configml f = pr_s "browser" browser; pr_s "wwwcoq" !prefs.coqwebsite; pr_s "wwwbugtracker" (!prefs.coqwebsite ^ "bugs/"); - pr_s "wwwrefman" (!prefs.coqwebsite ^ "distrib/" ^ coq_version ^ "/refman/"); - pr_s "wwwstdlib" (!prefs.coqwebsite ^ "distrib/" ^ coq_version ^ "/stdlib/"); + pr_s "wwwrefman" (!prefs.coqwebsite ^ "distrib/V" ^ coq_version ^ "/refman/"); + pr_s "wwwstdlib" (!prefs.coqwebsite ^ "distrib/V" ^ coq_version ^ "/stdlib/"); pr_s "localwwwrefman" ("file:/" ^ docdir ^ "/html/refman"); pr_b "bytecode_compiler" !prefs.bytecodecompiler; pr_b "native_compiler" !prefs.nativecompiler; |