diff options
Diffstat (limited to 'docs/README.md')
| -rw-r--r-- | docs/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/README.md b/docs/README.md index 61d2e05..9ed75c1 100644 --- a/docs/README.md +++ b/docs/README.md @@ -1,7 +1,7 @@ # Building the documentation 1. Get [hotdoc](https://hotdoc.github.io/installing.html) (0.8.9 required) -1. Run hotdoc: +1. Run hotdoc in the docs/ directory: hotdoc run |