summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index f2114e8..22f2303 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,7 @@
MODE ?= main
REBUILD_DEPS ?= yes
DEPS :=
+CONTEXT ?= context
ifeq ($(REBUILD_DEPS), yes)
DEPS += figures/timing-1.pdf figures/timing-2.pdf figures/timing-3.pdf
@@ -20,5 +21,5 @@ chapters/scheduling.pdf: figures/timing-3.pdf
# silent structure,structures,pages,resolvers,open source,close source,loading,modules
%.pdf: %.tex
- context --mode=$(MODE) --nonstopmode --silent='*' $<
+ $(CONTEXT) --mode=$(MODE) --nonstopmode --silent='*' $<
cp $(notdir $@) $@ || true