diff options
Diffstat (limited to 'Master/texmf-dist/scripts')
-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/> |