From 29166bd14228d1297b4da9bb297847c800192506 Mon Sep 17 00:00:00 2001 From: Florian Hammerschmidt Date: Tue, 30 Jan 2024 11:58:09 +0100 Subject: [PATCH] Remove main warn banner --- src/layouts/ManualDocsLayout.res | 33 -------------------------------- 1 file changed, 33 deletions(-) diff --git a/src/layouts/ManualDocsLayout.res b/src/layouts/ManualDocsLayout.res index a6f8fca4e..6fcc0c1a6 100644 --- a/src/layouts/ManualDocsLayout.res +++ b/src/layouts/ManualDocsLayout.res @@ -49,38 +49,6 @@ module Latest = { let title = "Language Manual" let version = "latest" - // TODO: Remove this once the work on the v11 milestone is completed. - // https://github.com/rescript-association/rescript-lang.org/milestone/6 - let warnBanner = { - open Markdown - - let v10Url = - "/" ++ - (Js.Array2.joinWith(url.base, "/") ++ - ("/v10.0.0/" ++ Js.Array2.joinWith(url.pagepath, "/"))) - - let label = switch Js.Array2.find(Constants.allManualVersions, ((v, _)) => { - v === version - }) { - | Some((_, label)) => label - | None => version - } - -
- -

- {React.string( - "You are currently looking at the " ++ - (label ++ - " docs, which are still a work in progress. If you miss anything, you may find it in the older v10.0 docs "), - )} - {React.string("here")} - {React.string(".")} -

-
-
- } - - warnBanner children }