diff --git a/web/index.html b/doc/index.html
similarity index 100%
rename from web/index.html
rename to doc/index.html