Docs / Fix mike parameter with extra dash. Follow up of geonetwork#7507

GeoCat · Nov 22, 2023 · 2968165 · 2968165
1 parent 023714b
commit 2968165
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -38,4 +38,4 @@ jobs:
         if: ${{ github.event_name != 'pull_request' }}
         working-directory: docs/manual
         run: |
-          mike deploy --push --title "4.4 Latest" ---alias-type=copy --update-aliases 4.4 latest
+          mike deploy --push --title "4.4 Latest" --alias-type=copy --update-aliases 4.4 latest