# HG changeset patch
# User timeless <timeless@mozdev.org>
# Date 2015-12-22 07:59:14
# Node ID f22cd17a22e7deca7533574b0cda185f068a54bb
# Parent  58eb1c5bba580c7be4fd5522456d8670c0fee9db

doc: add execute bit and fix shbang line for gendoc.py

diff --git a/doc/gendoc.py b/doc/gendoc.py
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