diff --git a/doc/images/index.png b/docs/images/index.png similarity index 100% rename from doc/images/index.png rename to docs/images/index.png diff --git a/doc/images/logo.png b/docs/images/logo.png similarity index 100% rename from doc/images/logo.png rename to docs/images/logo.png diff --git a/doc/images/profile-eclipse.jpg b/docs/images/profile-eclipse.jpg similarity index 100% rename from doc/images/profile-eclipse.jpg rename to docs/images/profile-eclipse.jpg diff --git a/doc/images/profile-idea.jpg b/docs/images/profile-idea.jpg similarity index 100% rename from doc/images/profile-idea.jpg rename to docs/images/profile-idea.jpg