From c53e65ab667e19f608ce04649507706e90100847 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Mon, 20 Aug 2012 15:37:34 -0600
Subject: [PATCH] fix docs for `deftech': mention case folding

original commit: 1ca5767684125bf5e5d46f1f689ff1147dc13365
---
 collects/scribblings/scribble/manual.scrbl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/collects/scribblings/scribble/manual.scrbl b/collects/scribblings/scribble/manual.scrbl
index 545dfbe2..1e325349 100644
--- 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.}