summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2023-06-21 00:11:04 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-06-21 00:11:04 +0200
commit011c50286ea8fb98c547502a6e3f1d8c5d304ca1 (patch)
tree82fe7fc72439df0adaa5331cae085b25ab6c8940
parent82732f965ccbc70641e2ce5e9dba8e0ced64aeba (diff)
Drop mention of non-existing check target
-rw-r--r--INSTALL7
1 files changed, 2 insertions, 5 deletions
diff --git a/INSTALL b/INSTALL
index b45322e0..09b18a5f 100644
--- a/INSTALL
+++ b/INSTALL
@@ -115,13 +115,10 @@ The simplest way to compile this package is:
2. Type `make' to compile the package.
- 3. Optionally, type `make check' to run any self-tests that come with
- the package.
-
- 4. Type `make install' to install the programs and any data files and
+ 3. Type `make install' to install the programs and any data files and
documentation.
- 5. You can remove the program binaries and object files from the
+ 4. You can remove the program binaries and object files from the
source code directory by typing `make clean'. To also remove the
files that `configure' created (so you can compile the package for
a different kind of computer), type `make distclean'. There is