From db071c3efcc4b002da4e0cfa3ef9cb1f87fdef9e Mon Sep 17 00:00:00 2001
From: Robert Konigsberg <konigsberg@google.com>
Date: Sat, 14 Jan 2012 23:37:42 -0500
Subject: [PATCH] specifying /usr/bin/env python instead of /usr/bin/python
 which is more flexible (and lets me generate jsdoc. :))

---
 generate-documentation.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generate-documentation.py b/generate-documentation.py
index 2f91503..2dd5b98 100755
--- a/generate-documentation.py
+++ b/generate-documentation.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 
 # Generate docs/options.html
 
-- 
2.7.4