convert another page from old doc to RST

[simgrid.git] / tools / jenkins / project_description.sh

diff --git a/tools/jenkins/project_description.sh b/tools/jenkins/project_description.sh
index a8979e0e4274b9d7c7749acb8a182a141180425f..306b191cde43922149b7688c93ec07fe4de8548b 100755 (executable)
--- a/tools/jenkins/project_description.sh
+++ b/tools/jenkins/project_description.sh
@@ -82,7 +82,7 @@ do
     sed -i -e "s/\r//g" ./consoleText
     if [ $id == 0 ]; then
       node="<a href=\"https://travis-ci.org/simgrid/simgrid\">travis-linux</a>"
-      os="Ubuntu 14.04 (<a href=\"https://docs.travis-ci.com/user/reference/trusty/\">Trusty</a>) 64 bits"
+      os="Ubuntu 16.04 (<a href=\"https://docs.travis-ci.com/user/reference/xenial/\">Xenial</a>) 64 bits"
     else
       node="<a href=\"https://travis-ci.org/simgrid/simgrid\">travis-mac</a>"
       os="Mac OSX High Sierra (kernel: 17.4.0)"