Currently, if one edits config.def.h one must manually delete config.h (or manually copy the former over the latter); this ensures that changes force a 'regeneration' (really, a copy). --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 6158ab2..152c412 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,7 @@ options:
@echo "LDFLAGS = ${LDFLAGS}"
@echo "CC = ${CC}"
-config.h:
+config.h: config.def.h
cp config.def.h config.h
.c.o:
--
2.1.4
