diff --git a/ws.dis b/doc/ws.dis
similarity index 100%
rename from ws.dis
rename to doc/ws.dis