From 91f31f2914a6bb754720a26d6f03f46389da515d Mon Sep 17 00:00:00 2001
From: Alexander Bantyev <balsoft@balsoft.ru>
Date: Thu, 21 May 2020 18:56:44 +0300
Subject: [PATCH] Update install documentation to reflect packaging updates

---
 gitlab-pages/docs/intro/installation.md | 29 +++++++++++++++++--------
 nix/ligo-website.nix                    |  2 +-
 2 files changed, 21 insertions(+), 10 deletions(-)

diff --git a/gitlab-pages/docs/intro/installation.md b/gitlab-pages/docs/intro/installation.md
index 87abfdfe5..111c1c50a 100644
--- a/gitlab-pages/docs/intro/installation.md
+++ b/gitlab-pages/docs/intro/installation.md
@@ -40,20 +40,31 @@ curl https://gitlab.com/ligolang/ligo/raw/master/scripts/installer.sh | bash -s
 ligo --help
 ```
 
+## Static Linux binary
+
+We have built ligo executable statically. It should run on most modern Linux distributions.
+
+To use it, get it [here](/bin/linux/ligo), make it executable, you're done!
+
+```zsh
+wget https://ligolang.org/bin/linux/ligo
+chmod +x ./ligo
+```
+
+Optionally, you can put it somewhere in your `PATH` for easy access:
+
+```zsh
+sudo cp ./ligo /usr/local/bin
+```
 
 ## Debian Linux package installation
 
-We have produced .deb packages for a few Debian Linux versions. They will install a global `ligo` executable. 
-First download one of the packages below, and then install using:
+We have produced .deb package with the static executable of ligo.
+First download [the package](/deb/ligo.deb), and then install using: 
 
+```zsh
+sudo apt install ./ligo.deb
 ```
-sudo apt install ./<package_name_here>.deb
-```
-
-- [Ubuntu 18.04](/deb/ligo_ubuntu-18.04.deb)
-- [Ubuntu 19.10](/deb/ligo_ubuntu-19.10.deb)
-- [Debian 9](/deb/ligo_debian-9.deb)
-- [Debian 10](/deb/ligo_debian-10.deb)
 
 ## Release schedule
 
diff --git a/nix/ligo-website.nix b/nix/ligo-website.nix
index 5e95e7b8c..336434e33 100644
--- a/nix/ligo-website.nix
+++ b/nix/ligo-website.nix
@@ -9,7 +9,7 @@ buildNpmPackage {
   '';
   installPhase = ''
     cp -Lr build $out
-    cp -r ${ligo-deb}/* $out/deb
+    cp -r ${ligo-deb}/*.deb $out/deb/ligo.deb
     mkdir -p $out/bin/linux
     cp -r ${ligo-static}/bin/ligo $out/bin/linux/ligo
     cp -r ${ligo-doc}/share/doc $out/odoc