updated instructions in README
This commit is contained in:
parent
3f9fc08a35
commit
5c02a1a5cb
4 changed files with 9975 additions and 10780 deletions
|
@ -6,10 +6,11 @@ permalink: /about/
|
|||
|
||||
How to host literal code.
|
||||
|
||||
In directory `sf/` run both the following in background:
|
||||
In directory `sf/` the following:
|
||||
|
||||
$ jekyll serve &
|
||||
$ watch make &
|
||||
$ make clobber
|
||||
$ make
|
||||
$ make serve &
|
||||
|
||||
The visible page appears at
|
||||
|
||||
|
|
4924
out/Maps.md
4924
out/Maps.md
File diff suppressed because it is too large
Load diff
6949
out/Stlc.md
6949
out/Stlc.md
File diff suppressed because it is too large
Load diff
9267
out/StlcProp.md
9267
out/StlcProp.md
File diff suppressed because it is too large
Load diff
Loading…
Reference in a new issue