Mark old releases as archived in guide pages

MatthewFluet · Dec 30, 2024 · d40427b · d40427b
1 parent 1d864a4
commit d40427b
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git 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 <<Release20180207#,MLton 20180207>>
 

diff --git 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 <<Release20200722#,MLton 20200722>>
 

diff --git 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 <<Release20200817#,MLton 20200817>>