idris-hackers
diff --git a/‎src/Makefile
Lines changed: 2 additions & 1 deletion b/‎src/Makefile
Lines changed: 2 additions & 1 deletion
@@ -14,7 +14,8 @@ PANDOC_FLAGS := \
 LIDRFILES := Preface.lidr \
 	Basics.lidr \
 	Induction.lidr \
-	Lists.lidr
+	Lists.lidr \
+	Poly.lidr
 # TODO: Add more chapters, in order, here.