Fix haddock dropdown element in haddock index

.github/workflows/haddock-site.yml

@@ -16,15 +16,15 @@ on:
     inputs:
       ref:
         description: |
-          The $ref to build off of, e.g. "1.29.0.0", "master", or any other valid git ref.
+          The ref to build off of, e.g. "1.29.0.0", "master", or any other valid git ref.
           When making a release, this is usually the version tag, e.g. "1.29.0.0", and will be
           equal to the $destination input below. When back-porting this could be a commit sha instead.
         required: true
         type: string
 
       destination:
         description: |
-          The $destination folder, e.g. when "1.29.0.0" the haddock site will be deployed to:
+          The destination folder, e.g. when "1.29.0.0" the haddock site will be deployed to:
           https://plutus.cardano.intersectmbo.org/haddock/1.29.0.0
         required: true
         type: string
@@ -33,11 +33,20 @@ on:
         description: |
           If true, then the haddock site will also be deployed to:
           https://plutus.cardano.intersectmbo.org/haddock/latest.
-          You want to leave this to true unless you are deploying old versions or back-porting.
+          You want to check this when you are making a release.
+          You want to uncheck this when you are deploying old versions or back-porting.
         type: boolean
         required: true 
         default: true
 
+      script_ref: 
+          description: |
+            What branch to fetch the combined-haddock.sh script from.
+            Leave this to 'master' unless you are testing a new version of the script.
+          type: string
+          required: true 
+          default: 'master'
+
 jobs:
   deploy:
     name: Deploy
@@ -54,8 +63,8 @@ jobs:
 
       - name: Checkout Haddock Script
         run: | 
-          git fetch origin master
-          git checkout origin/master ./scripts/combined-haddock.sh
+          git fetch origin ${{ inputs.script_ref }}
+          git checkout origin/${{ inputs.script_ref }} ./scripts/combined-haddock.sh
 
       - name: Build Site
         run: | 

.gitignore

@@ -103,7 +103,7 @@ node.sock
 .pre-commit-config.yaml
 secrets/*/.gpg-id
 ghcid.txt
-haddock
+haddock*
 .private
 linkchecker-out.txt
 plutus-pab/test-node/testnet/db

scripts/combined-haddock.sh

@@ -235,8 +235,9 @@ fi
 echo "Injecting additional prologue html"
 
 list-valid-plutus-versions() {
+  git fetch --tags --force
   local versions="$(git tag | grep -Eo '[0-9]+\.[0-9]+\.[0-9]+\.[0-9]+' | sort -rV | uniq | tr ' ' '\n')"
-  local min_ver="1.27.0.0"
+  local min_ver="1.30.0.0"
   echo master 
   echo latest
   for ver in $versions; do
@@ -272,7 +273,9 @@ build-version-select-html() {
   echo "$html"
 }
 
-inject-text-at-char "$OUTPUT_DIR/index.html" 1465 "$(build-version-select-html)"
+SELECT_ELEM_POSITION_IN_INDEX_HTML=1465
+
+inject-text-at-char "$OUTPUT_DIR/index.html" $SELECT_ELEM_POSITION_IN_INDEX_HTML "$(build-version-select-html)"