doc: point README at both renderings of the manual

leanprover · Mar 21, 2024 · 1b24ead · 1b24ead
1 parent 4dd80e0
commit 1b24ead
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -19,7 +19,7 @@ Verso is a collection of libraries for representing documents in Lean paired wit
  * Empower users to conveniently add their own features to the documentation language
  * Enable but not require extensions to be usable in multiple genres
 
-Please consult the in-progress [Verso manual](https://github.com/leanprover/verso/releases/download/latest/manual.pdf) for further details. Today, Verso is usable for running a website and blog, while the other genres are still under development.
+Please consult the in-progress Verso manual ([HTML](https://github.com/leanprover/verso/releases/download/latest/html-single-page.zip), [PDF](https://github.com/leanprover/verso/releases/download/latest/manual.pdf)) for further details. Today, Verso is usable for running a website and blog, while the other genres are still under development.
 
 ## Contributions