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