diff --git a/INSTALL b/INSTALL
index 84551b35b..67e9f7fe6 100644
--- a/INSTALL
+++ b/INSTALL
@@ -246,6 +246,10 @@ This file describes the procedures to install ngspice from sources.
         Enables a 'make check' with strongly reduced runtime. Besides some
         regression tests only BSIM3 and BSM4 devices are checked.
 
+ --enable-shortcheck
+        Enables a 'make check' with strongly reduced runtime. Besides some
+        regression tests only BSIM3 and BSM4 devices are checked.
+
 1.5.2 Options Specific to Enable Ngspice as a shared library
 
  --with-ngshared