github: workflows: documentation: Manually fetch Git tags

Manually fetch the Git tags, as this is currently not possible with the
default checkout action. See
actions/checkout#701 for detailed information.

Signed-off-by: Martin Schwan <m.schwan@phytec.de>

.github/workflows/documentation.yml

@@ -12,6 +12,8 @@ jobs:
     runs-on: ubuntu-22.04
     steps:
       - uses: actions/checkout@v3
+      - name: Receive tags
+        run: git fetch --tags origin
       - name: Install build dependencies
         run: |
           sudo apt-get update