docs: adapt to removed --with-random

Amends 269fdd4c6ed5d837d57448ac977f6f300968df15.

Closes #16565

diff --git a/docs/INSTALL.md b/docs/INSTALL.md
index 690741d77e5d918c058dc3e676a3af4f5ad239b9..c6a798b80c78b6e2457528b54f7ca106b7e95cee 100644 (file)
--- a/docs/INSTALL.md
+++ b/docs/INSTALL.md
@@ -535,11 +535,8 @@ export NM=ppc_405-nm
     --exec-prefix=/usr/local
 ```
 
-You may also need to provide a parameter like `--with-random=/dev/urandom` to
-configure as it cannot detect the presence of a random number generating
-device for a target system. The `--prefix` parameter specifies where curl gets
-installed. If `configure` completes successfully, do `make` and `make install`
-as usual.
+The `--prefix` parameter specifies where curl gets installed. If `configure`
+completes successfully, do `make` and `make install` as usual.
 
 In some cases, you may be able to simplify the above commands to as little as: