diff --git a/docs/README.md b/docs/README.md index 61d2e052d..9ed75c10b 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