diff options
| author | Karl Berry <karl@freefriends.org> | 2017-03-13 22:17:25 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2017-03-13 22:17:25 +0000 |
| commit | 85b91d251e0eddca277254765e11b51dcc979b3a (patch) | |
| tree | 783f16da3365bc025d29732f72a885f5a712630b /Master | |
| parent | ef358fe94be17fdea4c6cc28e6dc730a9a1d3d85 (diff) | |
English
git-svn-id: svn://tug.org/texlive/trunk@43489 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
| -rwxr-xr-x | Master/texmf-dist/scripts/texlive/fmtutil.pl | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Master/texmf-dist/scripts/texlive/fmtutil.pl b/Master/texmf-dist/scripts/texlive/fmtutil.pl index 737717b8d47..3a563cddb06 100755 --- a/Master/texmf-dist/scripts/texlive/fmtutil.pl +++ b/Master/texmf-dist/scripts/texlive/fmtutil.pl @@ -1411,10 +1411,12 @@ fmtutil vs. fmtutil-sys (fmtutil --sys): Other locations may be used if you give them on the command line, or these trees don't exist, or you are not using the original TeX Live. -Supporting development engines +Supporting development binaries - In case the engine names ends with "-dev", formats are created in - the respective directory without the -dev ending. + If an engine name ends with "-dev", formats are created in + the respective directory with the -dev stripped. This allows for + easily running development binaries in parallel with the released + binaries. Report bugs to: tex-live\@tug.org TeX Live home page: <http://tug.org/texlive/> |