--- doc/loncapafiles/modify_config_files.piml	2019/09/20 15:01:54	1.41
+++ doc/loncapafiles/modify_config_files.piml	2019/10/28 16:24:23	1.42
@@ -3,7 +3,7 @@
 <!-- modify_config_files.piml -->
 <!-- Matthew Hall -->
 
-<!-- $Id: modify_config_files.piml,v 1.41 2019/09/20 15:01:54 raeburn Exp $ -->
+<!-- $Id: modify_config_files.piml,v 1.42 2019/10/28 16:24:23 raeburn Exp $ -->
 
 <!--
 
@@ -58,8 +58,9 @@ if ('<DIST />' eq 'suse9.2' || '<DIST />
          ('<DIST />' eq 'fedora25')    || ('<DIST />' eq 'fedora26') ||
          ('<DIST />' eq 'fedora27')    || ('<DIST />' eq 'fedora28') ||
          ('<DIST />' eq 'fedora29')    || ('<DIST />' eq 'fedora30') ||
-         ('<DIST />' eq 'centos8')     || ('<DIST />' eq 'rhes8')    ||
-         ('<DIST />' eq 'oracle7')     || ('<DIST />' eq 'oracle8')) {
+         ('<DIST />' eq 'fedora31')    || ('<DIST />' eq 'centos8')  ||
+         ('<DIST />' eq 'rhes8')       || ('<DIST />' eq 'oracle7')  ||
+         ('<DIST />' eq 'oracle8')) {
     $mysqlcmd = '/bin/systemctl restart mariadb.service';
 } elsif ('<DIST />' eq 'ubuntu18') {
     $configfiles = 'Apt and MySQL';