diff options
Diffstat (limited to 'Build')
| -rw-r--r-- | Build/source/texk/web2c/help.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/help.h b/Build/source/texk/web2c/help.h index de87af618bb..4779ce298a8 100644 --- a/Build/source/texk/web2c/help.h +++ b/Build/source/texk/web2c/help.h @@ -498,9 +498,9 @@ const_string TANGLEHELP[] = { " comparing identifiers (default)", "-lowercase make all identifiers lowercase", "-mixedcase retain the case of identifiers unchanged (default)", - "-strict always smash case and remove underlines when comparing", - " identifiers", - "-underline do not remove underline characters from indentifiers", + "-strict when comparing identifiers, remove underlines and", + " convert all identifiers to uppercase first", + "-underline do not remove underline characters from identifiers", "-uppercase make all identifiers uppercase", "-help display this help and exit", "-version output version information and exit", |