Removed out/Basics, added make setup, updated _config

Makefile

@@ -8,7 +8,7 @@ out/:
 	mkdir out
 
 out/%.md: src/%.lagda out/
-	agda2html --verbose --link-to-agda-stdlib --link-local -i $< -o $@
+	agda2html --verbose --link-to-agda-stdlib --jekyll-root=out/ -i $< -o $@
 
 .phony: serve
 
@@ -34,3 +34,12 @@ ifneq ($(strip $(markdown)),)
 	rm $(markdown)
 endif
 	rmdir out/
+
+setup:
+	cd /tmp;\
+		git clone https://github.com/wenkokke/agda2html.git;\
+		cd agda2html;\
+		stack install
+	rm -rf /tmp/agda2html
+
+.phony: setup

_config.yml

@@ -25,7 +25,7 @@ baseurl: "/sf"
 url: "https://wenkokke.github.io"  
 markdown: kramdown
 theme: minima
-gems:
+plugins:
   - jekyll-feed
 exclude:
   - src/