diff -r ce97ff16f00e -r 16e5b9d32754 INSTALL
--- a/INSTALL	Sun Jan 28 12:39:08 2024 +0100
+++ b/INSTALL	Sun Jan 28 13:10:18 2024 +0100
@@ -29,22 +29,15 @@
 Build instructions
 ------------------
 
-When using gcc, just run
-
-    make
+To build a release version, run configure with the following option:
 
-To use a different compiler run
-
-    make CONF=<config>
+    ./configure --release
 
-Available configs:
-gcc
-clang
-suncc
-bsd
-osx
-mingw
+The script detects your toolchain automatically. In case you want
+a different compiler, you can set the CC environment variable before
+running configure.
 
+    CC=clang ./configure --release
 
 Install
 -------
@@ -56,7 +49,9 @@
 
 This installs the binaries to /usr. To install to an other location, run
 
-    make install PREFIX=/your/prefix
+    ./configure --release --prefix=/your/prefix
+
+before running make.
 
 Note: The install target doesn't work on Windows, therefore you need to install
 the two executables manually.