From 17a903338a788e2cea250efc6efd297d6dcc1927 Mon Sep 17 00:00:00 2001
From: Neil McPhail <neil@themcphails.uk>
Date: Mon, 19 May 2025 18:50:43 +0100
Subject: [PATCH] Oops - missed out z88dk include directory by mistake

---
 .devcontainer/Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
index 01917a8..375e7d6 100644
--- a/.devcontainer/Dockerfile
+++ b/.devcontainer/Dockerfile
@@ -85,6 +85,7 @@ COPY --from=build /zxbasic/zxbpp.py /opt/zxbasic/zxbpp
 COPY --from=build /zxbasic/src /opt/zxbasic/src
 COPY --from=z88dk /opt/z88dk/bin /opt/z88dk/bin
 COPY --from=z88dk /opt/z88dk/lib /opt/z88dk/lib
+COPY --from=z88dk /opt/z88dk/include /opt/z88dk/include
 ENV PATH="${PATH}:/opt/z88dk/bin:/opt/zxbasic"
 ENV ZCCCFG="/opt/z88dk/lib/config"
 USER ubuntu