Fix duplicate keyword.
authorjacob <jacob@cda61777-01e9-0310-a592-d414129be87e>
Sun, 22 Feb 2009 12:57:20 +0000 (12:57 +0000)
committerjacob <jacob@cda61777-01e9-0310-a592-d414129be87e>
Sun, 22 Feb 2009 12:57:20 +0000 (12:57 +0000)
git-svn-id: svn://svn.tartarus.org/sgt/puzzles@8458 cda61777-01e9-0310-a592-d414129be87e

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);