From 41b857c739f316d2c76d9f0f1f3331b095f19496 Mon Sep 17 00:00:00 2001 From: Thomas Bernard Date: Fri, 25 Jan 2019 20:54:53 +0100 Subject: [PATCH] Add a print-%: target, useful for debugging --- src/Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/Makefile b/src/Makefile index 2710a86b..2b8fd93d 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1048,4 +1048,7 @@ htmldoc: $(GENERATEDOCBIN) $(MKDIR) ../doc/html $(GENERATEDOCBIN) ../doc/html +print-%: + @echo $* = $($*) + -include Makefile.dep