summaryrefslogtreecommitdiff
path: root/Build/source/texk/detex/TLpatches/patch-12-typo
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/detex/TLpatches/patch-12-typo')
-rw-r--r--Build/source/texk/detex/TLpatches/patch-12-typo12
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");
+ }
+
+ /******