diff --git a/doc/Grammar.epsi b/deprecated/Grammar.epsi
similarity index 100%
rename from doc/Grammar.epsi
rename to deprecated/Grammar.epsi
diff --git a/doc/summerschool-flyer.pdf b/deprecated/summerschool-flyer.pdf
similarity index 100%
rename from doc/summerschool-flyer.pdf
rename to deprecated/summerschool-flyer.pdf
diff --git a/doc/summerschool-flyer.tex b/deprecated/summerschool-flyer.tex
similarity index 100%
rename from doc/summerschool-flyer.tex
rename to deprecated/summerschool-flyer.tex