-j4 option removed

coq-io · Nov 2, 2015 · 76344ce · 76344ce
1 parent a9bcfa7
commit 76344ce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/View.v b/src/View.v
@@ -158,7 +158,7 @@ LString.s "          </ul>
 
   Definition description (name : LString.t) (version : Version.t) : LString.t :=
     LString.s "          <p class=""lead"">" ++ LString.escape_html (Version.description version) ++ LString.s "</p>
-          <pre>opam install -j4 " ++ LString.escape_html name ++ LString.s "." ++ LString.escape_html (Version.version version) ++ LString.s "</pre>
+          <pre>opam install " ++ LString.escape_html name ++ LString.s "." ++ LString.escape_html (Version.version version) ++ LString.s "</pre>
 ".
 
 Definition field (is_url : bool) (name value : LString.t) : LString.t :=