update ipkg/makefile

Alex Gryzlov · Alex Gryzlov · commit cb8701edbcd8 · 2017-07-25T15:00:06.000+03:00
diff --git a/software_foundations.ipkg b/software_foundations.ipkg
@@ -7,6 +7,8 @@ modules    = Basics
            , Tactics
            , Logic
            , IndProp
+           , Maps
+           , ProofObjects
 
 brief      = "Software Foundations in Idris"
 version    = 0.0.1.0
diff --git a/src/Makefile b/src/Makefile
@@ -18,7 +18,9 @@ LIDR_FILES := Preface.lidr \
 	Poly.lidr \
 	Tactics.lidr \
 	Logic.lidr \
-	IndProp.lidr
+	IndProp.lidr \
+        Maps.lidr \
+        ProofObjects.lidr
 # TODO: Add more chapters, in order, here.
 
 
