ADD_INTERFACE (Bar_line,
- "bar-line-interface",
"Bar line.\n"
"\n"
"\n"
"These produce, respectively, a right repeat, a left repeat, a double\n"
"repeat, a double bar, a start bar, an end bar, and a thick double bar.\n"
+ "In addition, there is an option @code{||:} which is equivalent to\n"
+ "@code{|:} except at line breaks, where it produces a double bar (@code{||})\n"
+ "at the end of the line and a repeat sign (@code{|:}) at the beginning\n"
+ "of the new line."
"If @var{bartype} is set to @code{empty} then nothing is printed,\n"
"but a line break is allowed at that spot.\n"
"\n\n"