From fa3f8d568a5bd4c199fc669f466671b484769285 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 24 Jun 2022 09:34:05 -0700
Subject: [PATCH] Smake: Fix dependencies for src/ui/gui/resources.xml.

This file is a list of all the icon files, but generating it doesn't use
icon files themselves, so depending on them isn't useful.  On the other
hand, the file does need to be regenerated if the icon list changes, and
that icon list is in Smake itself, so this target does need to depend on
the Makefiles.
---
 Smake | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Smake b/Smake
index 543ec0e5b0..4a64860104 100644
--- a/Smake
+++ b/Smake
@@ -316,11 +316,11 @@ src/ui/gui/icons/manifest: $(MAKEFILE_LIST)
 	echo >> $@
 
 
-src/ui/gui/resources.xml: $(ICONS)
+src/ui/gui/resources.xml: $(MAKEFILE_LIST)
 	printf '<?xml version="1.0" encoding="UTF-8"?>\n' > $@
 	printf '<gresources>\n' >> $@
 	printf ' <gresource prefix="gnu/pspp">\n' >> $@
-	for x in $^; do \
+	for x in $(ICONS); do \
 	  z=`echo "$$x" | sed -e 's%src/ui/gui/%%'` ; \
 	  printf "  <file>$$z</file>\n" >> $@ ; \
 	done
-- 
2.30.2