Fix jenkins doc after latest changes