updated README with clobber

This commit is contained in:
wadler 2018-04-15 16:31:51 -03:00
parent 3a910fef31
commit 9430672041

View file

@ -19,6 +19,7 @@ material in a different way; see the [Preface](Preface).
In directory `sf/` run the following: In directory `sf/` run the following:
$ 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)
$ 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)