From f0f25936a9ee8188f67b05627ba03e3f67930b77 Mon Sep 17 00:00:00 2001
From: Christian Weiske <cweiske@cweiske.de>
Date: Mon, 11 May 2020 23:59:32 +0200
Subject: [PATCH] make html builder executable

---
 bin/build-html.php | 1 +
 1 file changed, 1 insertion(+)
 mode change 100644 => 100755 bin/build-html.php

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