diff options
| author | Norbert Preining <preining@logic.at> | 2017-03-13 00:51:17 +0000 |
|---|---|---|
| committer | Norbert Preining <preining@logic.at> | 2017-03-13 00:51:17 +0000 |
| commit | adc76bf4020be88f8f697f505c9de137e536e9b9 (patch) | |
| tree | f7e4f32fff671256b440ed408947140df41f53d3 /Master/texmf-dist/scripts | |
| parent | efe2aafb788c526e6313de92797e895e1d12ae17 (diff) | |
support engines named foobar-dev in fmtutil (map to enginedir=foobar)
git-svn-id: svn://tug.org/texlive/trunk@43485 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts')
| -rwxr-xr-x | Master/texmf-dist/scripts/texlive/fmtutil.pl | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/texlive/fmtutil.pl b/Master/texmf-dist/scripts/texlive/fmtutil.pl index cd8d314bb2e..737717b8d47 100755 --- a/Master/texmf-dist/scripts/texlive/fmtutil.pl +++ b/Master/texmf-dist/scripts/texlive/fmtutil.pl @@ -3,7 +3,7 @@ # fmtutil - utility to maintain format files. # (Maintained in TeX Live:Master/texmf-dist/scripts/texlive.) # -# Copyright 2014-2016 Norbert Preining +# Copyright 2014-2017 Norbert Preining # This file is licensed under the GNU General Public License version 2 # or any later version. # @@ -556,6 +556,8 @@ sub rebuild_one_format { $fmtfile .= ".fmt" ; $kpsefmt = "tex" ; $enginedir = $eng; + # strip final -dev from enginedir to support engines like luatex-dev + $enginedir =~ s/-dev$//; } # check for existence of ini file before doing anything else @@ -1409,6 +1411,11 @@ 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 + + In case the engine names ends with "-dev", formats are created in + the respective directory without the -dev ending. + Report bugs to: tex-live\@tug.org TeX Live home page: <http://tug.org/texlive/> EOF |