From 946ca81debea60182a1eb28b5b9a791e74fcc8eb Mon Sep 17 00:00:00 2001
From: Michael Wagner <info@wagnertech.de>
Date: Fri, 17 Jun 2022 23:31:03 +0200
Subject: [PATCH] phpide-d10

---
 debian/verleihnix.cp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/debian/verleihnix.cp b/debian/verleihnix.cp
index 5ca08da..e0d9765 100755
--- a/debian/verleihnix.cp
+++ b/debian/verleihnix.cp
@@ -4,6 +4,9 @@ set -e
 mkdir -p $1/usr/share/php/verleihnix
 cp -a verleihnix/* $1/usr/share/php/verleihnix
 
+# fetch local util
+cp -a /usr/share/php/SysAl/util $1/usr/share/php/verleihnix/
+
 mkdir -p $1/etc/apache2/sites-available/
 cp verleihnix/etc/verleihnix.conf $1/etc/apache2/sites-available/
 
-- 
2.20.1