diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/eiffelstudio-using-command-line-options.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/eiffelstudio-using-command-line-options.wiki
index c96ae6a8..13f148d5 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/eiffelstudio-using-command-line-options.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/eiffelstudio-using-command-line-options.wiki
@@ -326,6 +326,10 @@ The table below lists the available ''options'', the arguments they require, and
 | 
 | Use the project global settings to retrieve the project location for the last compilation of this project.
 |- 
+| -verbose
+| 
+| Display detail progress report during compile.
+|- 
 | -version
 | 
 | Print compiler version number.