diff --git a/src/Makefile b/src/Makefile
index 53e6aba..4aebfc4 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -1,4 +1,4 @@
-.PHONY: all clean pandoc
+.PHONY: all clean pandoc Everything.agda
 
 all: agda
 	make pandoc
@@ -9,7 +9,7 @@ pandoc: public/*.md
 	)
 
 agda: Everything.agda
-	agda --html --html-dir=public src/index.lagda.md --html-highlight=auto -i.
+	agda --html --html-dir=public index.lagda.md --html-highlight=auto -i.
 	rm -f public/Agda.css
 	cp Agda.css public/Agda.css
 
@@ -19,17 +19,16 @@ clean:
 	find . -name '*.agdai' -exec rm \{\} \;
 
 # push compiled html to my cip directory
-push: all push'
-
-# just push to CIP without rebuilding
-push':
+push: all
 	chmod +w public/Agda.css
 	mv public bsc-thesis
 	scp -r bsc-thesis hy84coky@cip2a7.cip.cs.fau.de:.www/
 	mv bsc-thesis public
 
 Everything.agda:
-	git ls-tree --full-tree -r --name-only HEAD | egrep '^src/[^\.]*.l?agda(\.md)?' | grep -v 'index.lagda.md' | sed -e 's|^src/[/]*|import |' -e 's|/|.|g' -e 's/.agda//' -e '/import Everything/d' -e 's/..md//' | LC_COLLATE='C' sort > src/Everything.agda
+	echo "{-# OPTIONS --guardedness #-}" > Everything.agda
+	git ls-tree --full-tree -r --name-only HEAD | egrep '^src/[^\.]*.l?agda(\.md)?' | grep -v 'index.lagda.md' | grep -v 'bsc.agda-lib' | sed -e 's|^src/[/]*|import |' -e 's|/|.|g' -e 's/.agda//' -e '/import Everything/d' -e 's/..md//' | LC_COLLATE='C' sort >> Everything.agda
+	
 
 open:
 	firefox public/index.html
\ No newline at end of file
diff --git a/src/index.lagda.md b/src/index.lagda.md
index da3128f..d09b516 100644
--- a/src/index.lagda.md
+++ b/src/index.lagda.md
@@ -1,3 +1,9 @@
+<!--
+```agda
+{-# OPTIONS --guardedness #-}
+```
+-->
+
 # Implementing Categorical Notions of Partiality and Delay in Agda
 
 To see a full list of all the modules go to: