From 0431cb29a8bdbfeaf4fb09e8d829c00c331c56cc Mon Sep 17 00:00:00 2001
From: Bob Mottram <bob@robotics.uk.to>
Date: Fri, 17 Mar 2017 11:09:46 +0000
Subject: [PATCH] python2

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index a9d5645..c4222fd 100644
--- a/README.md
+++ b/README.md
@@ -15,7 +15,7 @@ Converting to other formats
 As a Git repository the file isn't all that useful.  You can export it in other formats as follows:
 
 ```bash
-python makeJargon.py
+python2 makeJargon.py
 ```
 All of the resulting documents can be found in the _docs_ subdirectory.  Current formats supported are manpages, HTML and org-mode markup.