Add Rel to Makefile and iPKG

yurrriq · yurrriq · commit 520b2906898a · 2017-08-02T22:04:01.000-05:00
diff --git a/software_foundations.ipkg b/software_foundations.ipkg
@@ -9,6 +9,7 @@ modules    = Basics
            , IndProp
            , Maps
            , ProofObjects
+           , Rel
 
 brief      = "Software Foundations in Idris"
 version    = 0.0.1.0
diff --git a/src/Makefile b/src/Makefile
@@ -20,7 +20,8 @@ LIDR_FILES := Preface.lidr \
 	Logic.lidr \
 	IndProp.lidr \
 	Maps.lidr \
-	ProofObjects.lidr
+	ProofObjects.lidr \
+	Rel.lidr
 # TODO: Add more chapters, in order, here.
 
 
