--- a/README.html Tue May 27 13:26:42 1997 +0200
+++ b/README.html Tue May 27 14:38:49 1997 +0200
@@ -48,7 +48,7 @@
<li> SML/NJ 0.93 on Suns and SGIs. There seem to be several
problems with Linux and HP-UX.
<li> SML/NJ 1.07 on Suns, Linux, etc.
-<li> SML/NJ 1.09.27 on Suns, Linux, etc.
+<li> SML/NJ 1.09.27 and 1.09.28 on Suns, Linux, etc.
</ul>
<p>
@@ -66,8 +66,11 @@
better suited, under normal circumstances. Beware of the many
incompatibilities among SML/NJ versions! From the 1.09.x family, we
now only support 1.09.27, or later. An unofficial pre-built binary
-distribution of SML/NJ 1.09.27 for Linux is also <a
+distribution of at least SML/NJ 1.09.27 for Linux is also <a
href="http://www4.informatik.tu-muenchen.de/~wenzelm/resources.html">available.</a>
+If you have to re-build SML/NJ 1.09.x yourself from the sources, just
+comment out all targets except "sml" (cf. the installation
+instructions of the SML/NJ distribution).
<h2>Installation</h2>