diff --git a/doc/manual.org b/doc/index.org
similarity index 100%
rename from doc/manual.org
rename to doc/index.org