From 0f83553131a40a62afb32d063f35ae7a3a6be099 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Wed, 10 Oct 2012 09:29:21 +0000
Subject: [PATCH] In case /usr/bin/python3 does not exist but was installed
 somewhere else.

---
 Documentation/conceptify.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Documentation/conceptify.py b/Documentation/conceptify.py
index 0b8047bc5fe..2c1bba8c086 100755
--- a/Documentation/conceptify.py
+++ b/Documentation/conceptify.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python3
+#!/usr/bin/env python3
 
 import os
 import re