- texidoc=" By default, text is set with empty horizontal dimensions.
-The boolean property @code{no-spacing-rods} in @code{TextScript} is used
-to control the horizontal size of text. " }
+ texidoc = "By default, text is set with empty horizontal dimensions.
+The property @code{extra-spacing-width} in @code{TextScript} is used
+to control the horizontal size of text."
+}