src/Makefile: Add Lists.lidr to LIDRFILES

yurrriq · yurrriq · commit aec12932fbd2 · 2017-07-09T23:02:46.000-05:00
diff --git a/src/Makefile b/src/Makefile
@@ -13,7 +13,8 @@ PANDOC_FLAGS := \
 
 LIDRFILES := Preface.lidr \
 	Basics.lidr \
-	Induction.lidr
+	Induction.lidr \
+	Lists.lidr
 # TODO: Add more chapters, in order, here.
 
 
