#1298 Modify configuration for a user in Jenkins: the previous procedure didn't work with macOS and Jenkins (GIT_LOCAL_BRANCH was not properly interpreted in workspace name, but it was in other steps...).

#1298 Continous integration doc: add a new step in preparing user item in Jenkins. Also fix an erroneous link.

#1298 Update the User case to more refined Jenkins settings (with for instance branch name used for the workspace).

#1300 Apply the script to all markdown files (into which a html tag has been added to the position where the TOC is requested).

#1298 Add the tutorial for macOS, and create a page explaining the ssh access to CI platform (link to this page has been added in Ubuntu and Fedora tutorials).

#1298 CI documentation: Add a paragraph mentioning the version of the libraries installed on the VM.

GILLES Sebastien authored Jun 14, 2018 and GILLES Sebastien committed Jul 05, 2018

#1298 Documentation: two spaces at the end iof each line are much better that new paragraph each time.

#1298 [WIP] Writing the documentation to set-up an Ubuntu VM (it's a clean-up of the Wiki pages I created while creaint VMs).