It's been a new year for some time now.

[sgt/puzzles] / devel.but

diff --git a/devel.but b/devel.but
index 67c1659..4783b06 100644 (file)
--- a/devel.but
+++ b/devel.but
@@ -2143,7 +2143,7 @@ however, that it is a hint only: the central printing system may
 choose to vary line thicknesses at user request or due to printer
 capabilities.
 
 choose to vary line thicknesses at user request or due to printer
 capabilities.
 

-\S{print-line-width} \cw{print_line_dotted()}
+\S{print-line-dotted} \cw{print_line_dotted()}

 
 \c void print_line_dotted(drawing *dr, int dotted);
 
 
 \c void print_line_dotted(drawing *dr, int dotted);