git » fp-git.git » commit 0227212

diff --git a/FP/doc/INSTALL b/FP/doc/INSTALL
index 068bd6e..afc043d 100644
--- a/FP/doc/INSTALL
+++ b/FP/doc/INSTALL
@@ -43,10 +43,11 @@ Make options:
 - make            compiles only the latest modified sources
 - make build      compiles all the sources
 - make install    downloads dat files and compiles the game
+- make checks     checks for the programs needed to perform a right compilation
 - make clean      deletes all the files that are generated by make
                   except the ones that have been downloaded.
-									Note that this is not dangerous at all because make build
-									will regenerate them.
+                  Note that this is not dangerous at all because make build
+                  will regenerate them.
 - make download   downloads the dat files, generate index
 - make headers    parses the configuration files and builds the headers.
                   This uses all the awk stuff and is very useful to make a