Remove cmd1; cmd2 command

francozappa · francozappa · commit 167051bdbcde · 2015-09-26T12:03:19.000+08:00
diff --git a/docs/userguide.rst b/docs/userguide.rst
@@ -49,7 +49,8 @@ Make sure that the distro is up to date (if necessary, restart the system):
 
 .. code-block:: console
 
-   sudo apt-get update; sudo apt-get upgrade
+   sudo apt-get update
+   sudo apt-get upgrade
 
 Then clone ``minicps`` repository:
 
