diff options
| author | Norbert Preining <norbert@preining.info> | 2020-11-14 23:14:52 +0900 |
|---|---|---|
| committer | Norbert Preining <norbert@preining.info> | 2020-11-14 23:14:52 +0900 |
| commit | a74b8fe5aa59601b04ee54ee6fcdeff9ac21b11a (patch) | |
| tree | 024d2cff14f15504a5f82dc5230314d012e4035e /Master | |
| parent | b7eb5a5ab5749a90bea7023eef18baa283191e3c (diff) | |
start thinking about how to fix the old pdftexconfig.tex location bugdev/fix-old-pdftexconfig-paper-config
Diffstat (limited to 'Master')
| -rw-r--r-- | Master/tlpkg/TeXLive/TLPaper.pm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/TeXLive/TLPaper.pm b/Master/tlpkg/TeXLive/TLPaper.pm index 46c8d3a26f6..ab0aec2c5a4 100644 --- a/Master/tlpkg/TeXLive/TLPaper.pm +++ b/Master/tlpkg/TeXLive/TLPaper.pm @@ -63,6 +63,7 @@ our %paper = ( "pdftex" => { sub => \&paper_pdftex, default_component => "tex/generic/tex-ini-files", + old_locations => ["tex/generic/config"], default_file => "pdftexconfig.tex", pkg => "pdftex", }, |