]> git.pond.sub.org Git - empserver/commitdiff
(subjects.mk): Didn't work when info sources were deleted.
authorMarkus Armbruster <armbru@pond.sub.org>
Thu, 5 Jan 2006 14:13:56 +0000 (14:13 +0000)
committerMarkus Armbruster <armbru@pond.sub.org>
Thu, 5 Jan 2006 14:13:56 +0000 (14:13 +0000)
Make.mk

diff --git a/Make.mk b/Make.mk
index 89097859cd3cfb8d889caf593948e8e6db86014c..d93273db29c8926968e07bda8537a2dca8e23f4f 100644 (file)
--- 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, $^)