changeset 28143:f22cd17a22e7

doc: add execute bit and fix shbang line for gendoc.py
author timeless <timeless@mozdev.org>
date Tue, 22 Dec 2015 07:59:14 +0000
parents 58eb1c5bba58
children a624e5c40fd9
files doc/gendoc.py
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
old mode 100644
new mode 100755
--- a/doc/gendoc.py
+++ b/doc/gendoc.py
@@ -1,3 +1,4 @@
+#!/usr/bin/env python
 """usage: %s DOC ...
 
 where DOC is the name of a document