michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

further fixes to Preface, Acknowledgements

Browse source
This commit is contained in:
wadler 2018-03-04 18:02:40 -03:00
parent 61d00be7c1
commit 62b64c9b84
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
README.md
View file

@ -19,11 +19,11 @@ material in a different way; see the [Preface](Preface).
In directory `sf/` run the following: In directory `sf/` run the following:
`$ make macos-setup` (might need sudo, but try it without first) $ make macos-setup (might need sudo, but try it without first)
`$ make build` (builds lagda->markdown and website) $ make build (builds lagda->markdown and website)
`$ make build-incremental` (builds lagda->markdown and website using incremental) $ make build-incremental (builds lagda->markdown and website using incremental)
`$ make server-start` (starts server in detached mode) $ make server-start (starts server in detached mode)
`$ make server-stop` (stops the server, uses pkill) $ make server-stop (stops the server, uses pkill)
The visible page appears at The visible page appears at