diff --git a/docs/ide/index.html b/docs/ide/app.html
similarity index 100%
rename from docs/ide/index.html
rename to docs/ide/app.html