[ci][docs] Allow for choosing an eos upload directory.

Add two job inputs for the workflow trigger. These should allow for
choosing a ROOT version to build docs for, and for choosing a directory
where the generated page should be served.
Omitting the page means no upload to eos.

Author: hageboeck

.github/workflows/root-docs-ci.yml

@@ -17,11 +17,16 @@ on:
         type: boolean
         required: false
         default: false
-      # docu_input: # opportunity: overwrite makeinput.sh with these args
-      #   description: Folders to build documentation for. All folders are built if empty.
-      #   type: string
-      #   default: ""
-      #   required: false
+      input_branch:
+        description: 'Which branch to build documentation for'
+        type: string
+        required: false
+        default: 'master'
+      eos_upload_directory:
+        description: 'Make documentation available at <root-website>/doc/<directory>. Leave empty for skipping the upload to eos.'
+        type: string
+        required: false
+        default: 'master'
 
 jobs:
   build-docs:
@@ -36,8 +41,8 @@ jobs:
       PLATFORM: alma10
       DOC_DIR: master
       DOC_LOCATION: /github/home
-      BASE_REF: master
-      WEB_DIR_NAME: master
+      BASE_REF: ${{ inputs.input_branch == null && 'master' || inputs.input_branch }}
+      WEB_DIR_NAME: ${{ inputs.eos_upload_directory == null && '' || 'master' }}
       TAR_NAME: htmlmaster.tar
       OVERRIDES: "testing=Off roottest=Off"
 
@@ -118,6 +123,7 @@ jobs:
         if-no-files-found: error
 
     - name: Sync documentation to EOS
+      if: ${{ env.WEB_DIR_NAME != null && env.WEB_DIR_NAME != '' }}
       env:
         RWEBEOS_KT: ${{ secrets.RWEBEOS_KT }}
         KRB5USER: ${{ secrets.KRB5USER }}