diff --git a/tools/install-server b/tools/deprecated/install-server
similarity index 100%
rename from tools/install-server
rename to tools/deprecated/install-server