diff --git a/doc/AUTHORS b/AUTHORS similarity index 100% rename from doc/AUTHORS rename to AUTHORS diff --git a/doc/COPYING b/COPYING similarity index 100% rename from doc/COPYING rename to COPYING diff --git a/doc/NEWS b/NEWS similarity index 100% rename from doc/NEWS rename to NEWS diff --git a/doc/README b/README similarity index 100% rename from doc/README rename to README diff --git a/doc/TODO b/TODO similarity index 100% rename from doc/TODO rename to TODO