version 1.57, 2024/06/20 04:04:55
|
version 1.58, 2024/07/30 18:20:46
|
Line 56 http://www.lon-capa.org/
|
Line 56 http://www.lon-capa.org/
|
if (-e $picinspath.'/'.$file) { |
if (-e $picinspath.'/'.$file) { |
if ('<DIST />' eq 'ubuntu16' || '<DIST />' eq 'ubuntu18' || |
if ('<DIST />' eq 'ubuntu16' || '<DIST />' eq 'ubuntu18' || |
'<DIST />' eq 'ubuntu20' || '<DIST />' eq 'ubuntu22' || |
'<DIST />' eq 'ubuntu20' || '<DIST />' eq 'ubuntu22' || |
'<DIST />' eq 'ubuntu24') { |
'<DIST />' eq 'ubuntu24' || '<DIST />' eq 'centos9-stream' || |
|
'<DIST />' eq 'rhes9' || '<DIST />' eq 'oracle9' || |
|
'<DIST />' eq 'rocky9' || '<DIST />' eq 'alma9' || |
|
'<DIST />' eq 'debian10' || '<DIST />' eq 'debian11' || |
|
'<DIST />' eq 'debian12') { |
system('/usr/bin/mktexlsr'); |
system('/usr/bin/mktexlsr'); |
die("Can't run /usr/bin/mktexlsr") if $?; |
die("Can't run /usr/bin/mktexlsr") if $?; |
print "$picinspath/$file created and /usr/bin/mktexlsr ran successfully.\n"; |
print "$picinspath/$file created and /usr/bin/mktexlsr ran successfully.\n"; |