[LON-CAPA-cvs] cvs: doc /loncapafiles picins_check.piml

[raeburn]

raeburn		Tue Jul 30 18:20:46 2024 EDT

  Modified files:              
    /doc/loncapafiles	picins_check.piml 
  Log:
  - More distros which need to use /usr/bin/mktexlsr instead of /usr/bin/texconfig
  
  
Index: doc/loncapafiles/picins_check.piml
diff -u doc/loncapafiles/picins_check.piml:1.57 doc/loncapafiles/picins_check.piml:1.58
--- doc/loncapafiles/picins_check.piml:1.57	Thu Jun 20 04:04:55 2024
+++ doc/loncapafiles/picins_check.piml	Tue Jul 30 18:20:46 2024
@@ -3,7 +3,7 @@
 <!-- picins_check.piml -->
 <!-- Stuart Raeburn -->
 
-<!-- $Id: picins_check.piml,v 1.57 2024/06/20 04:04:55 raeburn Exp $ -->
+<!-- $Id: picins_check.piml,v 1.58 2024/07/30 18:20:46 raeburn Exp $ -->
 
 <!--
 
@@ -56,7 +56,11 @@
             if (-e $picinspath.'/'.$file) {
                 if ('<DIST />' eq 'ubuntu16' || '<DIST />' eq 'ubuntu18' || 
                     '<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');
                     die("Can't run /usr/bin/mktexlsr") if $?;
                     print "$picinspath/$file created and /usr/bin/mktexlsr ran successfully.\n";