diff --git a/mps/manual/index.html b/mps/manual/index.html index 1aa8b104548..440d2ef4b2e 100644 --- a/mps/manual/index.html +++ b/mps/manual/index.html @@ -53,15 +53,13 @@ -
diff --git a/mps/manual/reference.html b/mps/manual/reference/index.html similarity index 100% rename from mps/manual/reference.html rename to mps/manual/reference/index.html