docs(frontend-python): fix redirection

zama-ai · May 22, 2024 · db5f01e · db5f01e
1 parent ace7f21
commit db5f01e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitbook.yaml b/.gitbook.yaml
@@ -38,7 +38,7 @@ redirects:
   dev/fusing: explanations/fusing.md
   dev/backends: explanations/backends/README.md
   dev/backends/new\_backend: explanations/backends/new\_backend.md
-  dev/compilation: dev/compilation/compiler\_workflow.md
+  dev/compilation: explanations/compiler\_workflow.md
   dev/compilation/optimizer: explanations/optimizer.md
   dev/compilation/dialects: explanations/dialects.md
   dev/compilation/FHELinalgDialect: explanations/FHELinalgDialect.md