Fix alias

Author: smeyer198

.github/workflows/doc_deployment.yml

@@ -49,7 +49,7 @@ jobs:
       - name: Deploy to GitHub Pages
         if: ${{ !startsWith(github.ref, 'refs/tags/') }}
         run: |
-          mike deploy --push --update-aliases develop latest
+          mike deploy --push --update-aliases latest
 
       # On tag creation (i.e. new release): Deploy to directory with tag
       - name: Deploy Doc Version for New Release