Added make serve task to the Makefile

2017-06-27 14:54:09 +01:00 · 2017-06-27 14:54:09 +01:00 · 7b804c29b5
commit 7b804c29b5
parent b9b05b1347
4 changed files with 7 additions and 15234 deletions
--- a/7
+++ b/7
@ -10,6 +10,13 @@ out/:
 out/%.md: src/%.lagda out/
 	agda2html --link-to-agda-stdlib --link-local -i $< -o $@

+.phony: serve
+
+serve:
+	ruby -S gem install bundler
+	ruby -S bundle install
+	ruby -S bundle exec jekyll serve
+
 .phony: clean

 clean:
--- a/out/Maps.md
+++ b/out/Maps.md
--- a/out/Stlc.md
+++ b/out/Stlc.md
--- a/out/StlcProp.md
+++ b/out/StlcProp.md