Update quickstart.rst
diff --git a/docs/source/quickstart.rst b/docs/source/quickstart.rst
index d24f663..cd01226 100644
--- a/docs/source/quickstart.rst
+++ b/docs/source/quickstart.rst
@@ -117,16 +117,15 @@
.. code:: bash
make simenv
- # you can run RTL/GL simulations by using
- export SIM=RTL
- # OR
- export SIM=GL
- # you can then run the simulations using
- make verify-<testbench-name>
+ # you can then run RTL simulations using
+ SIM=RTL make verify-<testbench-name>
+
+ # OR GL simulation using
+ SIM=GL make verify-<testbench-name>
# for example
- make verify-io_ports
+ SIM=RTL make verify-io_ports
9. To run the precheck locally
