diff --git a/core/web/html/thesis.pdf b/core/doc/thesis.pdf
similarity index 100%
rename from core/web/html/thesis.pdf
rename to core/doc/thesis.pdf
diff --git a/core/web/html/techdoc.pdf b/core/web/html/techdoc.pdf
deleted file mode 100644
index 86a85a533..000000000
Binary files a/core/web/html/techdoc.pdf and /dev/null differ