From 98c50a5a5128a5e64b29729f0eb84cba6031b5f3 Mon Sep 17 00:00:00 2001
From: Giulia Naponiello <gnaponie@redhat.com>
Date: Jun 12 2018 22:28:14 +0000
Subject: Should use python3 to run the server


---

diff --git a/docs/dev-guide.rst b/docs/dev-guide.rst
index b900335..8438ef7 100644
--- a/docs/dev-guide.rst
+++ b/docs/dev-guide.rst
@@ -25,7 +25,7 @@ Run the server:
 
 .. code-block:: console
 
-   $ DEV=true python run-dev-server.py
+   $ DEV=true python3 run-dev-server.py
 
 The server is now running at <http://localhost:5005> and API calls can be sent to
 <http://localhost:5005/api/v1.0>.