diff options
| author | Karl Berry <karl@freefriends.org> | 2018-01-17 00:31:59 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2018-01-17 00:31:59 +0000 |
| commit | 90ac78de0e71679de5b2b4282983f09cb00257e1 (patch) | |
| tree | 6a26127c7722c6526f2224c8ad0dc4a2cb748951 /Build/source/texk/dviljk/Makefile.am | |
| parent | 1b0665f4e9eb50d4e45f264e5ff3b6b88611605f (diff) | |
use mktemp instead of simple tempdir, per Debian
git-svn-id: svn://tug.org/texlive/trunk@46340 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/dviljk/Makefile.am')
0 files changed, 0 insertions, 0 deletions