diff --git a/.gitbook.yaml b/.gitbook.yaml index b5e8413487..63ae6b924b 100644 --- a/.gitbook.yaml +++ b/.gitbook.yaml @@ -48,5 +48,6 @@ redirects: dev/compilation/TracingDialect: explanations/TracingDialect.md dev/compilation/RTDialect: explanations/RTDialect.md dev/compilation/SDFGDialect: explanations/SDFGDialect.md - dev/security/security_curves: explanations/security_curves.md + dev/security/security_curves: explanations/security.md + explanations/security_curves: explanations/security.md dev/setup/layout: explanations/layout.md diff --git a/docs/explanations/security_curves.md b/docs/explanations/security.md similarity index 100% rename from docs/explanations/security_curves.md rename to docs/explanations/security.md