Reorder the folders in tools to prepare moving tools/editor

- `certs` and `editor_fonts` go to `thirdparty`
- `dist` and `scripts` go to a new `misc` folder
- `collada` and `doc` go to `tools/editor`

The next step will be to rename `tools/editor` to `editor` directly,
but this will be done at the right time to avoid breaking too many PRs.

1 files changed, 0 insertions, 29 deletions

diff --git a/tools/scripts/sort-demos.sh b/tools/scripts/sort-demos.sh
deleted file mode 100644
index 2121d78c1..000000000
--- a/tools/scripts/sort-demos.sh
+++ /dev/null
@@ -1,29 +0,0 @@
-#!/bin/bash
-# When scanning for demos, the project manager sorts them based on their
-# timestamp, i.e. last modification date. This can make for a pretty
-# messy output, so this script 'touches' each godot.cfg file in reverse
-# alphabetical order to ensure a nice listing.
-#
-# It's good practice to run it once before packaging demos on the build
-# server.
-
-if [ ! -d "demos" ]; then
-  echo "Run this script from the root directory where 'demos/' is contained."
-  exit 1
-fi
-
-if [ -e demos.list ]; then
-  rm -f demos.list
-fi
-
-for dir in 2d 3d gui misc viewport; do
-  find "demos/$dir" -name "godot.cfg" |sort >> demos.list
-done
-cat demos.list |sort -r > demos_r.list
-
-while read line; do
-  touch $line
-  sleep 0.2
-done < demos_r.list
-
-#rm -f demos.list demos_r.list