From f31182c0b933c4bf33c986cb00943adfaaadf9f1 Mon Sep 17 00:00:00 2001 From: trentmc Date: Sat, 4 Nov 2023 10:58:09 +0100 Subject: [PATCH] Fix #1346 try1: Title menu: ocean.py goes to obsolete link developers/ocean.py --- .gitbook.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitbook.yaml b/.gitbook.yaml index 8973862e..e8cfde76 100644 --- a/.gitbook.yaml +++ b/.gitbook.yaml @@ -73,7 +73,7 @@ redirects: data-science/ocean.py/publish-flow: data-scientists/ocean.py/publish-flow.md data-science/ocean.py/remote-setup: data-scientists/ocean.py/remote-setup.md data-science/ocean.py/technical-details: data-scientists/ocean.py/technical-details.md - developers/ocean.py/: data-scientists/ocean.py/README.md + "developers/ocean.py/": data-scientists/ocean.py/README.md developers/ocean.py/compute-flow: data-scientists/ocean.py/compute-flow.md developers/ocean.py/consume-flow: data-scientists/ocean.py/consume-flow.md developers/ocean.py/datatoken-interface-tech-details: data-scientists/ocean.py/datatoken-interface-tech-details.md