Update installto/update script to remove old default skins and copy all nec...

Thomas Bruederli

2012-08-05 79209a67b0f56f8479d4319a2b8fdec8eda8ed6f

 bin/update.sh

@@ -114,6 +114,12 @@
        if ($write1 && $write2) {
          echo "Done.\n";
          echo "Your configuration files are now up-to-date!\n";

          if ($messages['missing']) {
            echo "But you still need to add the following missing options:\n";
            foreach ($messages['missing'] as $msg)
              echo "- '" . $msg['prop'] . ($msg['name'] ? "': " . $msg['name'] : "'") . "\n";
          }
        }
        else {
          echo "Failed to write config files!\n";