Document new double repeats and related barline type.

diff --git a/lily/bar-line.cc b/lily/bar-line.cc
index 024d9a8535effbc5a1bb35ccd7f9f9d7249a55c2..a7a50a85317ef36b78d44931211b2cbb89ec6d3a 100644 (file)
--- a/lily/bar-line.cc
+++ b/lily/bar-line.cc
@@ -334,13 +334,16 @@ ADD_INTERFACE (Bar_line,
               "\n"
               "Print a special bar symbol.  It replaces the regular bar"
               " symbol with a special symbol.  The argument @var{bartype}"
-              " is a string which specifies the kind of bar to print."
-              "  Options are @code{:|}, @code{|:}, @code{:|:}, @code{||},"
-              " @code{|.}, @code{.|}, @code{.|.}, @code{:} and @code{\"dashed\"}.\n"
+              " is a string which specifies the kind of bar line to print."
+              "  Options are @code{:|}, @code{|:}, @code{:|:}, @code{:|.|:},"
+              " @code{:|.:}, @code{||}, @code{|.}, @code{.|}, @code{.|.},"
+              " @code{|.|}, @code{:} and @code{\"dashed\"}.\n"
               "\n"
               "These produce, respectively, a right repeat, a left repeat,"
-              " a double repeat, a double bar, a start bar, an end bar,"
-              " a thick double bar, a dotted bar and a dashed bar. "
+              " a thick double repeat, a thin-thick-thin double repeat,"
+              " a thin-thick double repeat, a double bar, a start bar,"
+              " an end bar, a thick double bar, a thin-thick-thin bar,"
+              " a dotted bar and a dashed bar. "
               " In addition, there is an option"
               " @code{||:} which is equivalent to @code{|:} except at line"
               " breaks, where it produces a double bar (@code{||}) at the"
@@ -350,7 +353,7 @@ ADD_INTERFACE (Bar_line,
               "If @var{bartype} is set to @code{empty} then nothing is"
               " printed, but a line break is allowed at that spot.\n"
               "\n"
-              "@code{gap} is used for the gaps in dashed barlines.",
+              "@code{gap} is used for the gaps in dashed bar lines.",
 
               /* properties */
               "allow-span-bar "