summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Build/source/texk/README4
-rw-r--r--Build/source/texk/detex/ChangeLog5
2 files changed, 7 insertions, 2 deletions
diff --git a/Build/source/texk/README b/Build/source/texk/README
index 6a929b57f02..8379fe049cc 100644
--- a/Build/source/texk/README
+++ b/Build/source/texk/README
@@ -34,8 +34,8 @@ chktex 1.7.6 - checked 15mar20
cjkutils 4.8.4 - checked 18apr15
http://cjk.ffii.org/cjk-4.8.4.tar.gz
-detex 2.8.5 - checked 03feb19
- https://github.com/pkubowicz/opendetex
+detex 2.8.6 - checked 15mar20
+ https://github.com/pkubowicz/opendetex/releases
old info: http://www.cs.purdue.edu/homes/trinkle/detex/
dtl - maintained here, by Takuji
diff --git a/Build/source/texk/detex/ChangeLog b/Build/source/texk/detex/ChangeLog
index e4ee7c93749..687b88a73ff 100644
--- a/Build/source/texk/detex/ChangeLog
+++ b/Build/source/texk/detex/ChangeLog
@@ -1,3 +1,8 @@
+2020-03-15 Karl Berry <karl@freefriends.org>
+
+ * opendetex-2.8.6 is identical to what we compiled before.
+ Not even the version number was changed, apparently.
+
2019-02-03 Hironobu Yamashita <h.y.acetaminophen@gmail.com>
* Import opendetex-2.8.5, TLpatches adapted.