Add makefile target to get dbg.h

2021-10-18 19:13:48 +02:00
parent a03ed439f2
commit 7e52480b3b
2 changed files with 5 additions and 0 deletions
--- a/4
+++ b/4
@@ -99,3 +99,7 @@ HTML_MAIN = $(patsubst %.org,%.html,$(ORG_MAIN))
 html: $(HTML_MAIN)
 %.html: %.org
 	$(EMACS_HTML) $< --eval "(org-html-export-to-html)"
+
+.PHONY: dbg
+dbg: include/dbg.h
+	wget https://raw.githubusercontent.com/sharkdp/dbg-macro/master/dbg.h -O $<