Skip to content

Commit

Permalink
minor typo
Browse files Browse the repository at this point in the history
  • Loading branch information
@loganrjmurphy
loganrjmurphy committed May 28, 2024
1 parent d303833 commit 102cc4f
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -64,7 +64,6 @@ Take the following steps to build the Lean project:

Optionally, you can:

// 1. Run `lake build Book` to build all proofs in the first book of Euclid's *Elements* (takes a few minutes)
1. Run `lake -R -Kenv=dev build SystemE:docs` to build the documentation
1. View the auto-generated documentation locally at ./lake/build/doc, e.g., using `python -mhttp.server`

Expand Down

0 comments on commit 102cc4f

Please sign in to comment.