add parameter to force rebuild

Author: kinkie

.github/workflows/gen-docs.yaml

@@ -6,6 +6,12 @@ on:
 #  pull_request:
 #    branches: [ "main" ]
   workflow_dispatch:
+    inputs:
+      force:
+        description: 'Force documentation rebuild even if no source changes'
+        type: boolean
+        required: false
+        default: false
   schedule:
     - cron: '5 2 * * *'
 
@@ -34,19 +40,21 @@ jobs:
 
       - name: Check for squid source updates
         id: check_squid_updates
+        env:
+          FORCE_REBUILD: ${{ github.event.inputs.force }}
         run: |
           LAST_COMMIT_HASH=$(cat last-squid-commit.txt || echo "")
           cd squid
           CURRENT_COMMIT_HASH=$(git rev-parse HEAD)
           echo "current=$CURRENT_COMMIT_HASH" >> $GITHUB_OUTPUT
-          if [ "$LAST_COMMIT_HASH" = "$CURRENT_COMMIT_HASH" ]; then
+          if [ "$LAST_COMMIT_HASH" = "$CURRENT_COMMIT_HASH" -a "$FORCE_REBUILD" != "true" ]; then
             echo "marking as no no updates"
             echo "had_update=false" >> $GITHUB_OUTPUT
           else
             echo "had_update=true" >> $GITHUB_OUTPUT
           fi
           echo $CURRENT_COMMIT_HASH > ../last-squid-commit.txt
-
+      
       - name: Install prerequisite Linux packages
         if: steps.check_squid_updates.outputs.had_update == 'true'
         run: |