chore: add deployment target to README (#2)

leanprover · Jul 17, 2024 · 93af241 · 93af241
1 parent 4134f8f
commit 93af241
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,5 +1,9 @@
 # Lean Language Reference
 
+## Reading the Manual
+
+The output of building the current state of the `main` branch can be read at <https://lean-reference-manual-draft.netlify.app/>.
+
 ## Building the Reference Manual
 
 To read the manual, run the following command: