diff -r 88cd6a2c6ebe -r 85a7eede097e README.html --- 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 @@
@@ -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 available. +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).