diff options
author | Karl Berry <karl@freefriends.org> | 2017-03-22 22:18:48 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-03-22 22:18:48 +0000 |
commit | 6bb749147f71bd462194a3979f3f33dd3056d0cf (patch) | |
tree | 2bcb670d4d965be621de07a4991eda75627de43b /Build/source/texk/README | |
parent | ae46a827762636210d21328b3c5a75b826924a1e (diff) |
doc tweaks (and timestamp tests)
git-svn-id: svn://tug.org/texlive/trunk@43576 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/README')
-rw-r--r-- | Build/source/texk/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/README b/Build/source/texk/README index 26f8ce6161a..f0d96e4a57f 100644 --- a/Build/source/texk/README +++ b/Build/source/texk/README @@ -117,7 +117,7 @@ web2c - maintained here, by us - core web2c, plain tex, etc. pdftex - http://pdftex.org pmpost - none ptex - nothing current, old info: http://ascii.asciimw.jp/pb/ptex/ - synctex - maintained here + synctex - maintained here, but also https://github.com/jlaurens/synctex upmpost - ? (Kitagawa-san) uptex - https://texwiki.texjp.org/?upTeX%2CupLaTeX xetex - http://tug.org/xetex/ |