diff options
Diffstat (limited to 'Build/source/texk/detex/TLpatches')
-rw-r--r-- | Build/source/texk/detex/TLpatches/ChangeLog | 8 | ||||
-rw-r--r-- | Build/source/texk/detex/TLpatches/TL-Changes | 2 | ||||
-rw-r--r-- | Build/source/texk/detex/TLpatches/patch-01-support-old-compiler | 12 |
3 files changed, 21 insertions, 1 deletions
diff --git a/Build/source/texk/detex/TLpatches/ChangeLog b/Build/source/texk/detex/TLpatches/ChangeLog index 33e4e868518..23695978a3a 100644 --- a/Build/source/texk/detex/TLpatches/ChangeLog +++ b/Build/source/texk/detex/TLpatches/ChangeLog @@ -1,3 +1,11 @@ +2020-06-16 Akira Kakuto <kakuto@w32tex.org> + + Add patch-01-support-old-compiler. + +2020-06-15 Hironobu Yamashita <h.y.acetaminophen@gmail.com> + + Adapt to opendetex-2.8.7. + 2019-02-03 Hironobu Yamashita <h.y.acetaminophen@gmail.com> Adapt to opendetex-2.8.5. diff --git a/Build/source/texk/detex/TLpatches/TL-Changes b/Build/source/texk/detex/TLpatches/TL-Changes index d3d38224b27..05b94f8f9f6 100644 --- a/Build/source/texk/detex/TLpatches/TL-Changes +++ b/Build/source/texk/detex/TLpatches/TL-Changes @@ -1,4 +1,4 @@ -Changes applied to the opendetex-2.8.5 tree as obtained from: +Changes applied to the opendetex-2.8.7 tree as obtained from: https://github.com/pkubowicz/opendetex/releases Renamed: diff --git a/Build/source/texk/detex/TLpatches/patch-01-support-old-compiler b/Build/source/texk/detex/TLpatches/patch-01-support-old-compiler new file mode 100644 index 00000000000..d1cd8dce61e --- /dev/null +++ b/Build/source/texk/detex/TLpatches/patch-01-support-old-compiler @@ -0,0 +1,12 @@ +--- 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; + } |