diff --git a/Makefile b/Makefile index b00651b7d731757b9b319abe3e3a4b2206e13a6b..7e58c1bef27a90ee871ad34271ad016410bcaca6 100644 --- a/Makefile +++ b/Makefile @@ -1,7 +1,7 @@ include config/vars .PHONY: all -all: $(BOOK).pdf +all: .check $(BOOK).pdf config/vars: @git submodule update --init diff --git a/config b/config index 555cd4c023659856104becd38840ab98169ec600..b7353ef68339a0f940c02b09acbb1ba17cff17ff 160000 --- a/config +++ b/config @@ -1 +1 @@ -Subproject commit 555cd4c023659856104becd38840ab98169ec600 +Subproject commit b7353ef68339a0f940c02b09acbb1ba17cff17ff