summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-11-14 23:14:52 +0900
committerNorbert Preining <norbert@preining.info>2020-11-14 23:14:52 +0900
commita74b8fe5aa59601b04ee54ee6fcdeff9ac21b11a (patch)
tree024d2cff14f15504a5f82dc5230314d012e4035e
parentb7eb5a5ab5749a90bea7023eef18baa283191e3c (diff)
start thinking about how to fix the old pdftexconfig.tex location bugdev/fix-old-pdftexconfig-paper-config
-rw-r--r--Master/tlpkg/TeXLive/TLPaper.pm1
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",
},