From ab04eac98a01785d6e17ba7046305948db06b0e2 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Mon, 8 Jun 2020 14:17:10 +0200
Subject: [PATCH] [Doc] update installation instructions for WSL + Ubuntu 20.04

---
 INSTALL.md | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index 98a063f8c01..d1436bea60e 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -141,8 +141,9 @@ following tools:
 #### Prerequisites: WSL + a Linux distribution
 
 For enabling WSL on Windows, you may follow these instructions
-(we tested with Ubuntu 18.04 LTS; other distributions/versions should also
-work, but the instructions below may require some modifications).
+(we tested with Ubuntu 18.04 LTS and Ubuntu 20.04 LTS;
+other distributions/versions should also work,
+but the instructions below may require some modifications).
 
 https://docs.microsoft.com/en-us/windows/wsl/install-win10
 
@@ -182,7 +183,7 @@ For installing opam, some packages are required. The following commands can be
 run to update the system and install those packages:
 
 ```
-sudo add-apt-repository -y ppa:avsm/ppa
+sudo add-apt-repository -y ppa:avsm/ppa # unnecessary for Ubuntu 20.04
 sudo apt update
 sudo apt upgrade
 sudo apt install make m4 gcc opam
-- 
GitLab