Add note to manuals.html describing formats of manuals (Issue 2895)

diff --git a/Documentation/web/manuals.itexi b/Documentation/web/manuals.itexi
index 7cc24e030d9ad094d0851e795eb1ba4616a8fac7..fd194de3a895544dc1b3a4b0e03fd76dcb6c05d2 100644 (file)
--- a/Documentation/web/manuals.itexi
+++ b/Documentation/web/manuals.itexi
@@ -144,6 +144,17 @@ these manuals are published under the GNU Free Documentation License.
 
 @divEnd
 
+@divClass{column-center-bottom}
+@subheading Manual formats
+
+The LilyPond manuals generally come in three formats: split HTML, big HTML and
+PDF.  Split HTML is good for reading online.  Big HTML (and some of these can be
+very big) contains the whole manual in a single page.  PDF is available for
+downloading and using offline.  To get to these 3 formats, follow the links
+that read @code{details of} and then the manual name.
+
+@divEnd
+
 @divEnd