--- 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