Removed arguments passed to add_links in jenkinsfile

Author: serban-nicusor-catena

Jenkinsfile

@@ -9,6 +9,7 @@ pipeline {
     parameters {
         string(defaultValue: '', name: 'major_version', description: "Major version of the docs to be built")
         string(defaultValue: '', name: 'minor_version', description: "Minor version of the docs to be built")
+        booleanParam(defaultValue: false, name: 'patch', description: "Is it a patch ?")
     }
     environment {
         GITHUB_TOKEN = credentials('6e7c1e8f-ca2c-4b11-a70e-d934d3f6b681')
@@ -50,7 +51,11 @@ pipeline {
         }
         stage("Link docs to latest") {
             steps{
-                sh "add_links.sh $major_version $minor_version"
+                script{
+                    if(params.patch) {
+                        sh "add_links.sh"
+                    }  
+                }
             }
         }
         stage("Push PR for docs") {

add_links.sh

@@ -6,7 +6,7 @@
 cd docs
 # Count number of dirs in /docs
 docsDirsCount=`find . -mindepth 1 -maxdepth 1 -type d | wc -l`
-# Get last docs version
+# Get [-1] docs version
 # Substract functions-reference, reference-manual, stan-users-guide, current version and remove trailing /
 directory=`ls -d -- */ | sed -n "$(($docsDirsCount-4))"p | sed 's/.$//'`
 cd ..