From 678136603ce3cfcb6095dbe98f52d3824a9dcd76 Mon Sep 17 00:00:00 2001
From: Jakob Kaivo <jkk@ung.org>
Date: Sat, 9 Feb 2019 08:48:42 -0500
Subject: make generated files depend on their generators

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 13808097..028eba4a 100644
--- a/Makefile
+++ b/Makefile
@@ -8,13 +8,13 @@ all: .deps.mk include
 
 deps: .headers.mk .deps.mk
 
-.deps.mk:
+.deps.mk: mk.sh
 	sh -c '. ./mk.sh; make_deps_mk'
 
-.headers.mk:
+.headers.mk: mk.sh
 	sh -c '. ./mk.sh; make_headers_mk'
 
-headers include: .headers.mk
+headers include: .headers.mk mkh.sh
 	$(MAKE) -f .headers.mk headers
 
 ctags:
-- 
cgit v1.2.1