fix docs for `deftech': mention case folding

original commit: 1ca5767684125bf5e5d46f1f689ff1147dc13365
2012-08-20 15:37:34 -06:00 · 2012-08-20 15:37:34 -06:00 · c53e65ab66
commit c53e65ab66
parent 563fad62a4
1 changed files with 2 additions and 0 deletions
--- a/collects/scribblings/scribble/manual.scrbl
+++ b/collects/scribblings/scribble/manual.scrbl
@ -1295,6 +1295,8 @@ as follows:

@itemize[

+ @item{The string is case-folded.}
+
 @item{A trailing ``ies'' is replaced by ``y''.}

 @item{A trailing ``s'' is removed.}