doc: add execute bit and fix shbang line for gendoc.py
authortimeless <timeless@mozdev.org>
Tue, 22 Dec 2015 07:59:14 +0000
changeset 27496 f22cd17a22e7
parent 27495 58eb1c5bba58
child 27497 a624e5c40fd9
doc: add execute bit and fix shbang line for gendoc.py
doc/gendoc.py
--- a/doc/gendoc.py	Tue Dec 22 07:58:44 2015 +0000
+++ b/doc/gendoc.py	Tue Dec 22 07:59:14 2015 +0000
@@ -1,3 +1,4 @@
+#!/usr/bin/env python
 """usage: %s DOC ...
 
 where DOC is the name of a document