Fixed folder structure

agda/Makefile

@@ -9,7 +9,7 @@ pandoc: public/*.md
 	)
 
 agda: Everything.agda
-	agda --html --html-dir=public index.lagda.md --html-highlight=auto -i.
+	agda --html --html-dir=public src/index.lagda.md --html-highlight=auto -i.
 	rm -f public/Agda.css
 	cp Agda.css public/Agda.css
 
@@ -26,8 +26,8 @@ push: all
 	mv bsc-thesis public
 
 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
+	echo "{-# OPTIONS --guardedness #-}" > src/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 >> src/Everything.agda
 	
 
 open: