Index: src/add.c
==================================================================
--- src/add.c
+++ src/add.c
@@ -196,15 +196,20 @@
 ** The --ignore option is a comma-separate list of glob patterns for files
 ** to be excluded.  Example:  '*.o,*.obj,*.exe'  If the --ignore option
 ** does not appear on the command line then the "ignore-glob" setting is
 ** used.
 **
+** The --case-sensitive option determines whether or not filenames should
+** be treated case sensitive or not. If the option is not given, the default
+** depends on the global setting, or the operating system default, if not set.
+**
 ** Options:
 **
-**    --dotfiles       include files beginning with a dot (".")   
-**    --ignore <CSG>   ignore files matching patterns from the 
-**                     comma separated list of glob patterns.
+**    --case-sensitive <BOOL> override case-sensitive setting
+**    --dotfiles              include files beginning with a dot (".")   
+**    --ignore <CSG>          ignore files matching patterns from the 
+**                            comma separated list of glob patterns.
 ** 
 ** See also: addremove, rm
 */
 void add_cmd(void){
   int i;                     /* Loop counter */
@@ -408,22 +413,24 @@
 ** as a separate step.
 **
 ** Files and directories whose names begin with "." are ignored unless
 ** the --dotfiles option is used.
 **
-** The --ignore option overrides the "ignore-glob" setting.  See
+** The --ignore option overrides the "ignore-glob" setting, as does the
+** --case-sensitive option with the "case-sensitive" setting. See the
 ** documentation on the "settings" command for further information.
 **
 ** The --test option shows what would happen without actually doing anything.
 **
 ** This command can be used to track third party software.
 ** 
 ** Options: 
-**   --dotfiles       include files beginning with a dot (".")   
-**   --ignore <CSG>   ignore files matching patterns from the 
-**                    comma separated list of glob patterns.
-**   --test           If given, show what would be done without doing so.
+**   --case-sensitive <BOOL> override case-sensitive setting
+**   --dotfiles              include files beginning with a dot (".")   
+**   --ignore <CSG>          ignore files matching patterns from the 
+**                           comma separated list of glob patterns.
+**   --test                  If given, display instead of run actions
 **
 ** See also: add, rm
 */
 void addremove_cmd(void){
   Blob path;