make html builder executable
authorChristian Weiske <cweiske@cweiske.de>
Mon, 11 May 2020 21:59:32 +0000 (23:59 +0200)
committerChristian Weiske <cweiske@cweiske.de>
Mon, 11 May 2020 21:59:32 +0000 (23:59 +0200)
bin/build-html.php [changed mode: 0644->0755]

old mode 100644 (file)
new mode 100755 (executable)
index 581df02..2037cfc
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 /**
  * Take the generated JSON files and convert them to HTML for a browser