diff options
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/ |