-# The `make build' will compile and install the libraries
-# before building the rest of the sources. The `make installsrc'
-# will then install the remaining binaries.
-#
-# It can also be run in the more conventional way:
-# make
+# The `make build' will compile and install the libraries and the compiler
+# twice before building the rest of the sources. The `make installsrc' will
+# then install the remaining binaries. Only `make build' will clean out
+# the source tree as well as remake the dependencies.
+#
+# make libthenall
+# make installsrc
+# The `make libthenall' will compile and install the libraries, compile
+# and install the compiler and then compile everything else. Note,
+# however, that the libraries will have been built with the old compiler.
+# The `make installsrc' will then install the remaining binaries.
+#
+# make all