diff --git a/.gitea/workflows/on_docserver.yaml b/.gitea/workflows/on_docserver.yaml
index 3eb0f08..965fb1a 100644
--- a/.gitea/workflows/on_docserver.yaml
+++ b/.gitea/workflows/on_docserver.yaml
@@ -23,6 +23,9 @@ jobs:
       #     ls ${{ gitea.workspace }}          
       - name: Check out repository code
         uses: actions/checkout@v3
+        with:
+          submodules: true
+        # Defs in https://github.com/actions/checkout
         #run: echo "💡 The ${{ gitea.repository }} repository has been cloned to the runner."
       - name: Install Rust
         run: |