minor fix on the documentation
@@ -23,7 +23,8 @@ In general, please follow the steps to compile
.. note:: recommand to use ``make -j`` to accelerate the compilation
-Quick Compilation Verification
+**Quick Compilation Verification**
+
To quickly verify the tool is well compiled, user can run the following command from OpenFPGA root repository
::
