From 85b82c5fe716785671d05875577840cf55b0da90 Mon Sep 17 00:00:00 2001
From: Jim Winstead <jimw@trainedmonkey.com>
Date: Thu, 24 Oct 2024 10:35:16 -0700
Subject: [PATCH] Add Jing to the Dockerfile so it can be used for validation

---
 .docker/Dockerfile | 2 +-
 Makefile           | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.docker/Dockerfile b/.docker/Dockerfile
index fe258efb545e..f6283333538c 100644
--- a/.docker/Dockerfile
+++ b/.docker/Dockerfile
@@ -1,7 +1,7 @@
 FROM php:8.2-cli
 
 RUN apt-get update && \
-    apt-get install -y git
+    apt-get install -y git jing
 
 WORKDIR /var/www
 
diff --git a/Makefile b/Makefile
index 06fb38cb2072..8ffb9d765be4 100644
--- a/Makefile
+++ b/Makefile
@@ -27,6 +27,6 @@ php: .docker/built
 
 build: .docker/built
 
-.docker/built:
+.docker/built: .docker/Dockerfile
 	docker build .docker -t php/doc-en
 	touch .docker/built