From 9db2eb5a530dc3b47236141ac082327c272172eb Mon Sep 17 00:00:00 2001 From: Julien Richard-Foy Date: Mon, 28 Feb 2022 16:50:25 +0100 Subject: [PATCH] Publish back the release notes of 0.1.2 --- docs/_docs/{release-notes/0.1.2.md => release-notes-0.1.2.md} | 1 + docs/sidebar.yml | 2 ++ 2 files changed, 3 insertions(+) rename docs/_docs/{release-notes/0.1.2.md => release-notes-0.1.2.md} (99%) diff --git a/docs/_docs/release-notes/0.1.2.md b/docs/_docs/release-notes-0.1.2.md similarity index 99% rename from docs/_docs/release-notes/0.1.2.md rename to docs/_docs/release-notes-0.1.2.md index 4dbd5df16a67..aebfceaf5c45 100644 --- a/docs/_docs/release-notes/0.1.2.md +++ b/docs/_docs/release-notes-0.1.2.md @@ -1,6 +1,7 @@ --- layout: doc-page title: 0.1.2 release notes +redirectFrom: /docs/release-notes/0.1.2.html --- 0.1.2 will be the first public release of Dotty. diff --git a/docs/sidebar.yml b/docs/sidebar.yml index 101de48b79bf..1dba1b199450 100644 --- a/docs/sidebar.yml +++ b/docs/sidebar.yml @@ -188,3 +188,5 @@ subsection: - page: internals/type-system.md - page: internals/dotty-internals-1-notes.md - page: internals/debug-macros.md + - page: release-notes-0.1.2.md + hidden: true