diff --git a/Makefile b/Makefile index 3397e73b..acb4555a 100644 --- a/Makefile +++ b/Makefile @@ -5,6 +5,8 @@ markdown := $(subst src/,out/,$(subst .lagda,.md,$(agda))) all: $(markdown) test: build + ruby -S bundle exec jekyll clean + ruby -S bundle exec jekyll build -d _test/plfa ruby -S bundle exec htmlproofer _test statistics: diff --git a/README.md b/README.md index 9d7494c4..f1e8d915 100644 --- a/README.md +++ b/README.md @@ -12,7 +12,7 @@ The book was inspired by [Software Foundations](softwarefoundations.cis.upenn.ed ## How to host literate code -In directory `plta/` run the following: +In directory `plfa/` run the following: $ make clobber (remove all files before rebuilding system) $ make macos-setup (might need sudo, but try it without first) @@ -23,7 +23,7 @@ In directory `plta/` run the following: The visible page appears at - localhost:4000/ + localhost:4000/plfa/ ## Unicode abbreviations diff --git a/_config.yml b/_config.yml index e344712f..4bd3355a 100644 --- a/_config.yml +++ b/_config.yml @@ -23,8 +23,8 @@ description: > disqus: shortname: wenkokke -baseurl: "" -url: "https://plfa.github.io" +baseurl: "/plfa" +url: "https://wenkokke.github.io" plugins: - jekyll-feed markdown: kramdown