From 7ed343893c6aeb83c986f5de200f0eb8421fe512 Mon Sep 17 00:00:00 2001
From: Anton Akhmerov <anton.akhmerov@gmail.com>
Date: Sun, 9 Aug 2015 01:32:43 +0200
Subject: [PATCH] ensure everything runs outside of virtual environments (see
 PEP 394)

---
 doc/Makefile | 2 +-
 setup.py     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index c3529688..28f86b15 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -136,5 +136,5 @@ $(foreach name,$(SCRIPTS),$(eval $(call makedep,$(name))))
 
 # Generation of images
 .%_flag: %.py
-	cd $(dir $<) && python $(notdir $<)
+	cd $(dir $<) && python3 $(notdir $<)
 	@touch $@
diff --git a/setup.py b/setup.py
index 444fa71d..9782a484 100755
--- a/setup.py
+++ b/setup.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 
 # Copyright 2011-2015 Kwant authors.
 #
-- 
GitLab