bullets

patrick-nicodemus · Feb 26, 2019 · 6f58b5a · 6f58b5a
1 parent 8483b22
commit 6f58b5a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/INSTALL.md b/INSTALL.md
@@ -79,6 +79,8 @@ Once this is done, you can start [browsing and editing UniMath](./USAGE.md).
 Below, we explain how to compile individual packages of UniMath, and how to
 create HTML documentation.
 
+### Building individual packages and HTML documentation
+
 - To compile an individual package and the files it depends on, e.g., the package `CategoryTheory`, issue
    ```bash
    $ make CategoryTheory