maintainers

tweag · Jan 4, 2023 · 93c12f8 · 93c12f8
1 parent ed41148
commit 93c12f8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/MAINTAINERS.md b/MAINTAINERS.md
@@ -51,4 +51,4 @@ A **new major GHC version** has been released. Here's what you need to do:
 
 ## Documentation
 
-The docs are built with MkDocs.
+The docs are built with MkDocs. Serve locally with: `mkdocs serve`. Site is served online with Netlify.