Update mike to the latest version

opentripplanner · Sep 13, 2023 · 44b8d7f · 44b8d7f
1 parent 38d585b
commit 44b8d7f
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 7 deletions.
diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -1,6 +1,4 @@
 mkdocs==1.5.2
 mkdocs-material==9.1.17
-mike==1.1.2
+mike@git+https://github.com/jimporter/mike.git@f0522f245e64687dd18384fbd86b721175711474
 mkdocs-no-sitemap-plugin==0.0.1
-# remove this after OTP 2.4.0 has been released
-mkdocs-redirects==1.2.1
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -13,10 +13,6 @@ strict: true
 plugins:
     - "no-sitemap"
     - search
-    # remove this after OTP 2.4.0 has been released
-    - redirects:
-        redirect_maps:
-          'sandbox/LegacyGraphQLApi.md': 'sandbox/GtfsGraphQlApi.md'
 
 theme:
     name: material