\header {
lsrtags = "pitches, text"
- texidoc = "
-Internally, the set-octavation function sets the properties
-@code{ottavation} (e.g., to @code{\"8va\"} or @code{\"8vb\"}) and
-@code{middleCPosition}. To override the text of the bracket, set
-@code{ottavation} after invoking @code{set-octavation}, like in the
-following example.
+ texidoc = "
+Internally, the @code{set-octavation} function sets the properties
+@code{ottavation} (for example, to @code{\"8va\"} or @code{\"8vb\"})
+and @code{middleCPosition}. To override the text of the bracket, set
+@code{ottavation} after invoking @code{set-octavation}.
-" }
-% begin verbatim
+
+
+"
+ doctitle = "Ottava text"
+} % begin verbatim
{
#(set-octavation 1)
\set Staff.ottavation = #"8"