From 41e88bb66fce53d7cf9fccc70bbf7e986286a251 Mon Sep 17 00:00:00 2001 From: Robert Ricci Date: Sun, 12 Jan 2014 16:09:14 -0700 Subject: [PATCH] Oops, forgot the makefile somehow --- lectures/lecture3/Makefile | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 lectures/lecture3/Makefile diff --git a/lectures/lecture3/Makefile b/lectures/lecture3/Makefile new file mode 100644 index 0000000..14373ab --- /dev/null +++ b/lectures/lecture3/Makefile @@ -0,0 +1,3 @@ +DOCUMENTS= lecturenotes + +include ../../Makerules -- GitLab