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