From 5064c5425f96d804b47e1e0a070fbebd87c0ef72 Mon Sep 17 00:00:00 2001
From: Markus Armbruster <armbru@pond.sub.org>
Date: Thu, 5 Jan 2006 14:13:56 +0000
Subject: [PATCH] (subjects.mk): Didn't work when info sources were deleted.

---
 Make.mk | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Make.mk b/Make.mk
index 89097859..d93273db 100644
--- a/Make.mk
+++ b/Make.mk
@@ -219,6 +219,10 @@ $(libs) $(empth_lib): | lib
 
 subjects.mk: $(tsrc) info/findsubj.pl sources.mk
 	perl $(srcdir)/info/findsubj.pl
+# If sources.mk is out of date, $(tsrc) is.  If it contains files that
+# went away, make can't remake subjects.mk.  Tell it to ignore such
+# missing files:
+$(tsrc):
 
 $(tsubj): info/mksubj.pl
 	perl $(srcdir)/info/mksubj.pl $@ $(filter %.t, $^)