TBR: Only run the sudo command if there are packages to install.

Otherwise sudo fails.

Change-Id: Ic4b7440c0e0eab98c657152f77c37ad400815108
diff --git a/content/installation/step-by-step.md b/content/installation/step-by-step.md
index c0ea862..a3c2f81 100644
--- a/content/installation/step-by-step.md
+++ b/content/installation/step-by-step.md
@@ -127,7 +127,9 @@
 jiri profile os-packages v23:base
 
 # Run the package installation command as root.
-sudo $(jiri profile os-packages v23:base)
+if [ -z "$(jiri profile os-packages v23:base)" ]; then
+  sudo $(jiri profile os-packages v23:base)
+end
 ```
 
 Then install the prerequisites themselves.