diff --git a/compilation.md b/docs/compilation.md
similarity index 100%
rename from compilation.md
rename to docs/compilation.md