--- doc/loncapafiles/modify_config_files.piml	2013/07/22 22:14:22	1.23
+++ doc/loncapafiles/modify_config_files.piml	2013/11/30 22:06:31	1.24
@@ -3,7 +3,7 @@
 <!-- modify_config_files.piml -->
 <!-- Matthew Hall -->
 
-<!-- $Id: modify_config_files.piml,v 1.23 2013/07/22 22:14:22 raeburn Exp $ -->
+<!-- $Id: modify_config_files.piml,v 1.24 2013/11/30 22:06:31 raeburn Exp $ -->
 
 <!--
 
@@ -46,7 +46,8 @@ if ('<DIST />' eq 'suse9.2' || '<DIST />
     $configfiles = 'Apt and MySQL';
     $mysqlcmd = '/etc/init.d/mysql restart';
 } elsif (('<DIST />' eq 'fedora16') || ('<DIST />' eq 'fedora17') ||
-         ('<DIST />' eq 'fedora18') || ('<DIST />' eq 'fedora19')) {
+         ('<DIST />' eq 'fedora18') || ('<DIST />' eq 'fedora19') ||
+         ('<DIST />' eq 'fedora20')) {
     $mysqlcmd = '/bin/systemctl restart mysqld.service';  
 }