commit 534b841bc0274a307e6d6f53a8b72fae42b57f41
author Davide Pesavento <davide.pesavento@lip6.fr> Sat Dec 08 19:19:09 2018 -0500
committer Alexander Afanasyev <aa@cs.fiu.edu> Wed Dec 26 10:03:05 2018 -0800
tree 18bc8bf3aada0522f80a65aa8291a3f948bd9aeb
parent ebe156c92f9907b37068b52c2dba351af78f5a09

docs: refresh installation instructions and general cleanup

Change-Id: Ibfe945887e5cad979c1f9a78fd5a3062bb20a8b5

.jenkins.d/README.md

diff --git a/.jenkins.d/README.md b/.jenkins.d/README.md
index aeb94b0..7c78349 100644
--- a/.jenkins.d/README.md
+++ b/.jenkins.d/README.md
@@ -15,11 +15,11 @@
   * `[DISTRO_TYPE]`: `Ubuntu`
   * `[DISTRO_VERSION]`: `Ubuntu-16.04`, `Ubuntu-18.04`
 
-  Possible values for OS X / macOS:
+  Possible values for macOS:
 
   * `[OS_TYPE]`: `OSX`
   * `[DISTRO_TYPE]`: `OSX` (can be absent)
-  * `[DISTRO_VERSION]`: `OSX-10.11`, `OSX-10.12`, `OSX-10.13`
+  * `[DISTRO_VERSION]`: `OSX-10.12`, `OSX-10.13`, `OSX-10.14`
 
 - `JOB_NAME`: optional variable to define type of the job.  Depending on the defined job type,
   the build scripts can perform different tasks.