From 4b0750b41183b09118fa00f6921e1c49e7a2dc94 Mon Sep 17 00:00:00 2001 From: David Broman Date: Fri, 9 Aug 2024 09:51:16 +0200 Subject: [PATCH] Removed warnings in the documentation. --- docs/index.md | 9 --------- 1 file changed, 9 deletions(-) diff --git a/docs/index.md b/docs/index.md index 72326b0..7faeee6 100644 --- a/docs/index.md +++ b/docs/index.md @@ -8,11 +8,7 @@ Miking is a meta-language system for creating embedded languages, and this site To get started, first [install Miking](/installation), then follow the [getting-started tutorial](./tutorials/getting-started.md) to learn about the core languages of Miking. -:::warning -We are currently in the process of restructuring our documentation (see [here](https://documentation.divio.com/) for more information on the intent), thus some information can be found in the first four categories below (where they should be) and some can be found under [old content](#old-content) below. - -::: ## Content @@ -21,9 +17,4 @@ We are currently in the process of restructuring our documentation (see [here](h - The [Reference](./reference/index.md) documents the more technical details of the project: APIs, syntax, semantics, etc. - [Explanations](./explanations/index.md) give more theoretical descriptions of concepts used in the Miking project, how they relate, and why they are designed the way they are. -## Old Content - -The old documentation can be found here while the documentation restructuring is in progress: -- The [Miking](/miking-readme) README. -- The [Miking DPPL](/miking-dppl-readme) README.