From 03d36bac09811840e7aa913fe12bd92d9b3fb22d Mon Sep 17 00:00:00 2001
From: Nickolai Zeldovich <nickolai@csail.mit.edu>
Date: Thu, 24 Oct 2019 15:51:20 -0400
Subject: [PATCH] fix makefile rules to create directory first

Otherwise running make under dev in a clean checkout fails because pdf
and html directories don't exist yet.
---
 dev/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dev/Makefile b/dev/Makefile
index 0067154..6abd54a 100644
--- a/dev/Makefile
+++ b/dev/Makefile
@@ -1,7 +1,9 @@
 pdf/%.pdf: %.md
+	@mkdir -p $(@D)
 	pandoc --toc --template template/default.latex -o $@ $<
 
 html/%.html: %.md
+	@mkdir -p $(@D)
 	pandoc --toc -o $@ -s $< --mathjax
 
 all: pdf html