From 7e52480b3b621c2a0bd27305c620ef767c4cf83d Mon Sep 17 00:00:00 2001 From: Alejandro Gallo Date: Mon, 18 Oct 2021 19:13:48 +0200 Subject: [PATCH] Add makefile target to get dbg.h --- .gitignore | 1 + Makefile | 4 ++++ 2 files changed, 5 insertions(+) diff --git a/.gitignore b/.gitignore index bd7ac3b..4818c3a 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,6 @@ .emacs +include/dbg.h doc/doxygen/ extern lib diff --git a/Makefile b/Makefile index b9e0f4a..43fc781 100644 --- a/Makefile +++ b/Makefile @@ -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 $<