specifying /usr/bin/env python instead of /usr/bin/python which is more flexible...

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