Fix docker docs

jakobilab · Mar 6, 2023 · 4a0b33b · 4a0b33b
1 parent da48a44
commit 4a0b33b
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/docs/Installation.rst b/docs/Installation.rst
@@ -39,9 +39,7 @@ Subsequently, **circtools** can be run via
 
 .. code-block:: bash
 
-    docker run circtools [insert command args here]
-
-.. code-block:: bash
+    docker run circtools [insert arguments here]
 
 Other than the additional command `docker run circtools` vs. just `circtools` all commands remain unchanged.