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