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