add note about building documentation locally to STYLE.md

Signed-off-by: Ali Caglayan <[email protected]>
HoTT · Oct 4, 2024 · e6aff7c · e6aff7c
1 parent b68b52b
commit e6aff7c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/STYLE.md b/STYLE.md
@@ -1029,6 +1029,8 @@ The repository contains a file .dir-locals.el in the top-level directory
 which turns on `visual-line-mode` when emacs visits any file in the
 repository.
 
+Documentation can be built locally using `make doc` or `dune build @theories/doc`. The HTML files generated by Dune are placed in `_build/default/HoTT.html/`.
+
 Unfortunately, when viewing source code on Github, these long comment
 lines are not wrapped, making them hard to read.  If you use the
 Stylish plugin, you can make them wrap by adding the following style: