From d40427b9f6efd5373f1ce67335af163a4159663e Mon Sep 17 00:00:00 2001 From: Matthew Fluet Date: Mon, 30 Dec 2024 06:58:02 -0500 Subject: [PATCH] Mark old releases as archived in guide pages --- doc/guide/src/Release20200722.adoc | 2 +- doc/guide/src/Release20200817.adoc | 2 +- doc/guide/src/Release20201002.adoc | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/guide/src/Release20200722.adoc b/doc/guide/src/Release20200722.adoc index eec931f85..9de825c60 100644 --- a/doc/guide/src/Release20200722.adoc +++ b/doc/guide/src/Release20200722.adoc @@ -1,6 +1,6 @@ = Release20200722 -Here you can download the latest public release of MLton, version 20200722. +This is an archived public release of MLton, version 20200722. == Changes since <> diff --git a/doc/guide/src/Release20200817.adoc b/doc/guide/src/Release20200817.adoc index 291b7f463..656565f03 100644 --- a/doc/guide/src/Release20200817.adoc +++ b/doc/guide/src/Release20200817.adoc @@ -1,6 +1,6 @@ = Release20200817 -Here you can download the latest public release of MLton, version 20200817. +This is an archived public release of MLton, version 20200817. == Changes since <> diff --git a/doc/guide/src/Release20201002.adoc b/doc/guide/src/Release20201002.adoc index 398501990..7a5193c01 100644 --- a/doc/guide/src/Release20201002.adoc +++ b/doc/guide/src/Release20201002.adoc @@ -1,6 +1,6 @@ = Release20201002 -Here you can download the latest public release of MLton, version 20201002. +This is an archived public release of MLton, version 20201002. == Changes since <>