From a470e662ac50c39474902caaad31d78a93aa05ea Mon Sep 17 00:00:00 2001 From: Dominik Meyer Date: Wed, 31 Jul 2019 10:40:16 +0200 Subject: [PATCH] FIX: fixed missing / --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index c1aa396..3f8a481 100644 --- a/Makefile +++ b/Makefile @@ -9,7 +9,7 @@ # DEPDIR := .d $(shell mkdir -p $(DEPDIR) >/dev/null) -GITDIR = $(shell git rev-parse --show-toplevel) +GITDIR = $(shell git rev-parse --show-toplevel)/ export $TEXINPUTS DEPFLAGS = -M -MP -MF $(DEPDIR)/$*.d