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