diff --git a/docs/source/manual/openfpga_shell/launch_openfpga_shell.rst b/docs/source/manual/openfpga_shell/launch_openfpga_shell.rst
index f03819fe6..1cab6e53b 100644
--- a/docs/source/manual/openfpga_shell/launch_openfpga_shell.rst
+++ b/docs/source/manual/openfpga_shell/launch_openfpga_shell.rst
@@ -22,6 +22,10 @@ To launch OpenFPGA shell, users can choose two modes.
   - 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::	--version or -v
+
+  Print version information of OpenFPGA
+
 .. option::	--help or -h
 	
   Show the help desk
diff --git a/docs/source/manual/openfpga_shell/openfpga_commands/basic_commands.rst b/docs/source/manual/openfpga_shell/openfpga_commands/basic_commands.rst
index 727448a61..668b3c924 100644
--- a/docs/source/manual/openfpga_shell/openfpga_commands/basic_commands.rst
+++ b/docs/source/manual/openfpga_shell/openfpga_commands/basic_commands.rst
@@ -3,6 +3,11 @@
 Basic Commands
 --------------
 
+version
+~~~~~~~
+
+  Show OpenFPGA version information
+
 help
 ~~~~