From a982153ee91af07ab67a2149a5702034080221ea Mon Sep 17 00:00:00 2001
From: Carlos Mastalli <carlos.mastalli@laas.fr>
Date: Thu, 7 Mar 2019 12:39:07 +0100
Subject: [PATCH] [readme] Removed point 1 since it's useless

---
 README.md | 15 +++++----------
 1 file changed, 5 insertions(+), 10 deletions(-)

diff --git a/README.md b/README.md
index e797292..4782f79 100644
--- a/README.md
+++ b/README.md
@@ -16,28 +16,23 @@ This repository includes a set of robot descriptions that are aimed to be used i
 You can install this package throught robotpkg. robotpkg is a package manager tailored for robotics softwares. It greatly simplifies the release of new versions along with the management of their dependencies. You just need to add the robotpkg apt repository to your sources.list and then use `sudo apt install robotpkg-example-robot-data`:
 
 ### Add robotpkg apt repository
-If you have never added robotpkg as a softwares repository, please follow first the instructions from 1 to 4. Otherwise, go directly to instruction 5. Those instructions are similar to the installation procedures presented in [http://robotpkg.openrobots.org/debian.html](http://robotpkg.openrobots.org/debian.html).
+If you have never added robotpkg as a softwares repository, please follow first the instructions from 1 to 3. Otherwise, go directly to instruction 4. Those instructions are similar to the installation procedures presented in [http://robotpkg.openrobots.org/debian.html](http://robotpkg.openrobots.org/debian.html).
 
-1. Check your distribution codename in a terminal with the following command:
-
-		lsb_release -c
-		Codename:       xenial
-
-2. Add robotpkg as source repository to apt:
+1. Add robotpkg as source repository to apt:
 
 		sudo tee /etc/apt/sources.list.d/robotpkg.list <<EOF
 		deb [arch=amd64] http://robotpkg.openrobots.org/wip/packages/debian/pub $(lsb_release -sc) robotpkg
 		deb [arch=amd64] http://robotpkg.openrobots.org/packages/debian/pub $(lsb_release -sc) robotpkg
 		EOF
 
-3. Register the authentication certificate of robotpkg:
+2. Register the authentication certificate of robotpkg:
 
 		curl http://robotpkg.openrobots.org/packages/debian/robotpkg.key | sudo apt-key add -
 
-4. You need to run at least once apt update to fetch the package descriptions:
+3. You need to run at least once apt update to fetch the package descriptions:
 
 		sudo apt-get update
 
-5. The installation of example-robot-data:
+4. The installation of example-robot-data:
 
 		sudo apt install robotpkg-example-robot-data
-- 
GitLab