Skip to content

Commit

Permalink
Typos
Browse files Browse the repository at this point in the history
  • Loading branch information
joschmitt committed Aug 30, 2023
1 parent ed6cafc commit 2fda375
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/utils/docs.jl
Original file line number Diff line number Diff line change
Expand Up @@ -155,7 +155,7 @@ terminated, so the proposed usage for this option is to run
`build_doc(open_browser = false)` for following builds and only refresh the
browser tab.
When working on the manual the `Revise` package can significantly sped
When working on the manual the `Revise` package can significantly speed
up running `build_doc`. First, install `Revise` in the following way:
```
using Pkg ; Pkg.add("Revise")
Expand All @@ -164,7 +164,7 @@ Second, restart Julia and load `Revise` before Oscar:
```
using Revise, Oscar;
```
The first run of `build_doc` will take the usual few minutes, subsequently runs
The first run of `build_doc` will take the usual few minutes, subsequent runs
will be significantly faster.
"""
function build_doc(; doctest=false, strict=false, open_browser=true, start_server = false)
Expand Down

0 comments on commit 2fda375

Please sign in to comment.