--- doc/loncapafiles/picins_check.piml	2018/10/28 03:09:16	1.37
+++ doc/loncapafiles/picins_check.piml	2023/04/28 19:17:32	1.51
@@ -3,7 +3,7 @@
 <!-- picins_check.piml -->
 <!-- Stuart Raeburn -->
 
-<!-- $Id: picins_check.piml,v 1.37 2018/10/28 03:09:16 raeburn Exp $ -->
+<!-- $Id: picins_check.piml,v 1.51 2023/04/28 19:17:32 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 rhes6 scientific6 centos6 rhes7 scientific7 centos7 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 fedora33 fedora34 fedora35 rhes6 scientific6 centos6 oracle6 rhes7 scientific7 centos7 oracle7 rhes8 centos8 oracle8 rocky8 alma8 centos8-stream centos9-stream rhes9 oracle9 rocky9 alma9 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";