make gen-html executable

diff --git a/htmlreport/gen-html.php b/htmlreport/gen-html.php
old mode 100644 (file)
new mode 100755 (executable)
index f495622..92dc41c
--- a/htmlreport/gen-html.php
+++ b/htmlreport/gen-html.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 $cfgfile = __DIR__ . '/config.php';
 if (!file_exists($cfgfile)) {