Added find for debugging.

Author: edeiana

.github/workflows/ci-docs.yml

@@ -93,6 +93,8 @@ jobs:
       # We only use a non-zero build # when making multiple manual builds in one day.
       run: |
         echo "$PWD"
+        found="$(find ./ -name "version.txt")"
+        echo "$found"
         MAJOR_DOT_MINOR_VERSION_NUMBER="$(cat ./version.txt)"
         if test -z "${{ github.event.inputs.version }}"; then
           export VERSION_NUMBER=$MAJOR_DOT_MINOR_VERSION_NUMBER.$((`git log -n 1 --format=%ct` / (60*60*24)))