Echo "This will install necessary font files to your current"
Echo "workbench system disk disk."

  if NOT EXISTS fonts:small
   echo "Making fonts:small directory..."
   makedir fonts:small
  endif

  echo "Copying font files..."

  copy fonts/Small/#? fonts:Small
  copy fonts/Garnet/#? fonts:Garnet
  copy fonts/#? fonts:

echo "File installation complete."