diff --git a/docs/source/manual/openfpga_shell/launch_openfpga_shell.rst b/docs/source/manual/openfpga_shell/launch_openfpga_shell.rst
index 3ef6e9fb5..f03819fe6 100644
--- a/docs/source/manual/openfpga_shell/launch_openfpga_shell.rst
+++ b/docs/source/manual/openfpga_shell/launch_openfpga_shell.rst
@@ -15,6 +15,13 @@ To launch OpenFPGA shell, users can choose two modes.
 
   Launch OpenFPGA in script mode where users write commands in scripts and FPGA will execute them
 
+.. option::	--batch_execution or -batch
+
+  Execute OpenFPGA script in batch mode. This option is only valid for script mode.
+
+  - If in batch mode, OpenFPGA will abort immediately when fatal errors occurred.
+  - If not in batch mode, OpenFPGA will enter interactive mode when fatal errors occurred.
+
 .. option::	--help or -h
 	
   Show the help desk