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 | |
| 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')
| -rw-r--r-- | Build/source/texk/README | 2 | ||||
| -rw-r--r-- | Build/source/texk/dvipsk/dvips.texi | 4 |
2 files changed, 3 insertions, 3 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/ diff --git a/Build/source/texk/dvipsk/dvips.texi b/Build/source/texk/dvipsk/dvips.texi index e5c46d3bb24..d5ca01c0ddb 100644 --- a/Build/source/texk/dvipsk/dvips.texi +++ b/Build/source/texk/dvipsk/dvips.texi @@ -965,8 +965,8 @@ exists, it is read. @cindex quiet operation @cindex silent operation @cindex warnings, suppressing -Run quietly. Don't chatter about pages converted, etc.@: to standard -output; report no warnings (only errors) to standard error. +Run quietly. Don't chatter about pages converted, etc.@:, +and report no warnings (only errors) to standard error. @item -r* @opindex -r |