diff options
Diffstat (limited to 'Build/source/texk/detex/TLpatches/patch-12-typo')
| -rw-r--r-- | Build/source/texk/detex/TLpatches/patch-12-typo | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Build/source/texk/detex/TLpatches/patch-12-typo b/Build/source/texk/detex/TLpatches/patch-12-typo new file mode 100644 index 00000000000..77087a7ccaa --- /dev/null +++ b/Build/source/texk/detex/TLpatches/patch-12-typo @@ -0,0 +1,12 @@ +diff -ur -x detex.c detex-2.8.orig/detex.l detex-2.8/detex.l +--- detex-2.8.orig/detex.l 2013-06-28 14:46:12.000000000 +0200 ++++ detex-2.8/detex.l 2014-08-20 09:56:40.115740053 +0200 +@@ -592,7 +592,7 @@ + (void) strcpy(sb, sbEnvList); + csbEnvIgnore = SeparateList(sb, rgsbEnvIgnore, CHENVSEP, MAXENVS); + if (csbEnvIgnore == my_ERROR) +- ErrorExit("The environtment list contains too many environments"); ++ ErrorExit("The environment list contains too many environments"); + } + + /****** |