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