Reverting move to PLFA org
This commit is contained in:
parent
284e9e590d
commit
6f2b0cdafd
3 changed files with 6 additions and 4 deletions
2
Makefile
2
Makefile
|
@ -5,6 +5,8 @@ markdown := $(subst src/,out/,$(subst .lagda,.md,$(agda)))
|
||||||
all: $(markdown)
|
all: $(markdown)
|
||||||
|
|
||||||
test: build
|
test: build
|
||||||
|
ruby -S bundle exec jekyll clean
|
||||||
|
ruby -S bundle exec jekyll build -d _test/plfa
|
||||||
ruby -S bundle exec htmlproofer _test
|
ruby -S bundle exec htmlproofer _test
|
||||||
|
|
||||||
statistics:
|
statistics:
|
||||||
|
|
|
@ -12,7 +12,7 @@ The book was inspired by [Software Foundations](softwarefoundations.cis.upenn.ed
|
||||||
|
|
||||||
## How to host literate code
|
## 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 clobber (remove all files before rebuilding system)
|
||||||
$ make macos-setup (might need sudo, but try it without first)
|
$ 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
|
The visible page appears at
|
||||||
|
|
||||||
localhost:4000/<permalink>
|
localhost:4000/plfa/<permalink>
|
||||||
|
|
||||||
## Unicode abbreviations
|
## Unicode abbreviations
|
||||||
|
|
||||||
|
|
|
@ -23,8 +23,8 @@ description: >
|
||||||
disqus:
|
disqus:
|
||||||
shortname: wenkokke
|
shortname: wenkokke
|
||||||
|
|
||||||
baseurl: ""
|
baseurl: "/plfa"
|
||||||
url: "https://plfa.github.io"
|
url: "https://wenkokke.github.io"
|
||||||
plugins:
|
plugins:
|
||||||
- jekyll-feed
|
- jekyll-feed
|
||||||
markdown: kramdown
|
markdown: kramdown
|
||||||
|
|
Loading…
Reference in a new issue