--- doc/loncapafiles/picins_check.piml	2019/10/28 16:24:23	1.43
+++ doc/loncapafiles/picins_check.piml	2020/05/29 18:13:20	1.45
@@ -3,7 +3,7 @@
 <!-- picins_check.piml -->
 <!-- Stuart Raeburn -->
 
-<!-- $Id: picins_check.piml,v 1.43 2019/10/28 16:24:23 raeburn Exp $ -->
+<!-- $Id: picins_check.piml,v 1.45 2020/05/29 18:13:20 raeburn Exp $ -->
 
 <!--
 
@@ -32,7 +32,7 @@ http://www.lon-capa.org/
 <piml>
 <files>
 <file>
-<perlscript mode="fg" dist="fedora9 fedora10 fedora11 fedora12 fedora13 fedora14 fedora15 fedora16 fedora17 fedora18 fedora19 fedora20 fedora21 fedora22 fedora 23 fedora24 fedora25 fedora26 fedora27 fedora28 fedora29 fedora30 fedora31 rhes6 scientific6 centos6 oracle6 rhes7 scientific7 centos7 oracle7 rhes8 centos8 oracle8 sles11 sles12 sles15 suse11.1 suse11.2 suse11.3 suse11.4 suse12.1 suse12.2 suse12.3 suse13.1 suse13.2 debian5 debian6 ubuntu8 ubuntu10 ubuntu12 ubuntu14 ubuntu16 ubuntu18">
+<perlscript mode="fg" dist="fedora9 fedora10 fedora11 fedora12 fedora13 fedora14 fedora15 fedora16 fedora17 fedora18 fedora19 fedora20 fedora21 fedora22 fedora 23 fedora24 fedora25 fedora26 fedora27 fedora28 fedora29 fedora30 fedora31 fedora32 rhes6 scientific6 centos6 oracle6 rhes7 scientific7 centos7 oracle7 rhes8 centos8 oracle8 sles11 sles12 sles15 suse11.1 suse11.2 suse11.3 suse11.4 suse12.1 suse12.2 suse12.3 suse13.1 suse13.2 debian5 debian6 ubuntu8 ubuntu10 ubuntu12 ubuntu14 ubuntu16 ubuntu18 ubuntu20">
     my $picinspath = '/usr/share/texmf/tex/latex/picins'; 
     my $file = 'picins.sty';
     if (!-e "$picinspath/$file") {
@@ -54,7 +54,7 @@ http://www.lon-capa.org/
             die("/usr/bin/wget -O $srcurl failed") if $?;
             chmod(0644, "$picinspath/$file");
             if (-e $picinspath.'/'.$file) {
-                if ('<DIST />' eq 'ubuntu16' || '<DIST />' eq 'ubuntu18') {
+                if ('<DIST />' eq 'ubuntu16' || '<DIST />' eq 'ubuntu18' || '<DIST />' eq 'ubuntu20') {
                     system('/usr/bin/mktexlsr');
                     die("Can't run /usr/bin/mktexlsr") if $?;
                     print "$picinspath/$file created and /usr/bin/mktexlsr ran successfully.\n";