Changes between Version 11 and Version 12 of Documentation

Timestamp:

Apr 11, 2020, 1:24:32 AM (4 years ago)

Author:

Bruno Cornec

Comment:

--

Documentation

@@ -126 +126 @@
 == deb based distributions ==
 
-You should add the apt sources list file corresponding to your distribution and use it. E.g. on Ubuntu 16.04:
+You should add the apt sources list file corresponding to your distribution and use it. E.g. on Ubuntu 18.04:
 
 {{{
 # cd /etc/apt/sources.list.d/
-# wget http://ftp.project-builder.org/ubuntu/16.04/pb.sources.list
+# wget http://ftp.project-builder.org/ubuntu/18.04/pb.sources.list
 # apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 0x6BA8C2D220EBFB0E
 # apt-get update