Web: tweak formatting of Manual details.

diff --git a/Documentation/web.texi b/Documentation/web.texi
index a8f99ee7e1b0dab810686a47c002d40275b45733..5cd0b97beb9f45dee5a1ab83ffda427055cdc7c8 100644 (file)
--- a/Documentation/web.texi
+++ b/Documentation/web.texi
@@ -200,6 +200,9 @@ Distributions will want to install lilypond.info in postinstall, doing:
 @c        html; we'll need a bunch of @iftext and stuff in here. -gp
 @c ****************** SPECIAL MACROS FOR WEB MANUAL ************
 @macro docLinks{name,base,refLink,split,big,bigsize,pdf,pdfsize}
+
+@c experimental removal; to be FIXME before 2.14.  -gp
+@ignore
 @subheading Read it
 
 @itemize
@@ -215,6 +218,7 @@ Distributions will want to install lilypond.info in postinstall, doing:
 read this manual in the same format as this one.
 
 @end itemize
+@end ignore
 
 @subheading All formats
 
@@ -225,7 +229,7 @@ read this manual in the same format as this one.
   @item @uref{../\base\/index.html, \name\ (split HTML)}:
 @end ifclear
 @ifset web_version
-  @item \split\
+  @item \split\:
 @end ifset
   the manual is split between many HTML pages.
   @*@ @ @emph{(small download for each page)}
@@ -234,7 +238,7 @@ read this manual in the same format as this one.
   @item @uref{../\base\-big-page.html, \name\ (big HTML)}:
 @end ifclear
 @ifset web_version
-  @item \big\
+  @item \big\:
 @end ifset
   read this manual as one huge HTML page.
   @*@ @ @emph{(large single download, \bigsize\)}
@@ -243,7 +247,7 @@ read this manual in the same format as this one.
   @item @uref{../\base\.pdf, \base\.pdf}:
 @end ifclear
 @ifset web_version
-  @item \pdf\
+  @item \pdf\:
 @end ifset
   download as a PDF file.
   @*@ @ @emph{(large single download, \pdfsize\)}