summaryrefslogtreecommitdiff
path: root/Build/source/texk/detex
diff options
context:
space:
mode:
authorAkira Kakuto <kakuto@fuk.kindai.ac.jp>2020-12-03 13:02:19 +0000
committerAkira Kakuto <kakuto@fuk.kindai.ac.jp>2020-12-03 13:02:19 +0000
commit8332d48d23bca6879022cded6b994c6db3c97c39 (patch)
tree0cbd7caf7843892e83de8b7a2790724586d8c242 /Build/source/texk/detex
parent148aa091366682cffb0b881249f007633ed08930 (diff)
remove an unused file
git-svn-id: svn://tug.org/texlive/trunk@57053 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/detex')
-rw-r--r--Build/source/texk/detex/TLpatches/ChangeLog4
-rw-r--r--Build/source/texk/detex/TLpatches/patch-01-support-old-compiler12
2 files changed, 4 insertions, 12 deletions
diff --git a/Build/source/texk/detex/TLpatches/ChangeLog b/Build/source/texk/detex/TLpatches/ChangeLog
index 23695978a3a..4c36050c33a 100644
--- a/Build/source/texk/detex/TLpatches/ChangeLog
+++ b/Build/source/texk/detex/TLpatches/ChangeLog
@@ -1,3 +1,7 @@
+2020-12-03 Hironobu Yamashita <h.y.acetaminophen@gmail.com>
+
+ Remove patch-01-support-old-compiler, which is applied in the upstream.
+
2020-06-16 Akira Kakuto <kakuto@w32tex.org>
Add patch-01-support-old-compiler.
diff --git a/Build/source/texk/detex/TLpatches/patch-01-support-old-compiler b/Build/source/texk/detex/TLpatches/patch-01-support-old-compiler
deleted file mode 100644
index d1cd8dce61e..00000000000
--- a/Build/source/texk/detex/TLpatches/patch-01-support-old-compiler
+++ /dev/null
@@ -1,12 +0,0 @@
---- detex.l.orig Mon Jun 15 20:23:15 2020
-+++ detex.l Tue Jun 16 06:09:30 2020
-@@ -732,7 +732,8 @@
- void
- IncrLineNo()
- {
-- for (char* c=yytext; *c != '\0'; c++) {
-+ char *c;
-+ for (c=yytext; *c != '\0'; c++) {
- if (*c == '\n') {
- fFileLines[csb]++; fIsColumn0=1;
- }