check


  
  if [ -f f.php ]; then mk f.php.html; fi
  if [ -f f.cfg ]; then mk f.cfg.html; fi
  if [ -f f.js ]; then mk f.js.html; fi