diff --git a/install.sh b/install.sh index fd31cfbc703fc2ce8f5685e5d61b40ebaf3ca21c..8b7a2b25be0e0036c05a1ace88c92aa91585d442 100755 --- a/install.sh +++ b/install.sh @@ -16,8 +16,7 @@ fi echo "Installation System Packages ..." bash script/install-system-packages.sh -echo "Installation OPAM Packages ..." -bash script/install-opam-packages.sh + # Development and Production