diff --git a/docs/LICENSE b/tools/doc/LICENSE
similarity index 100%
rename from docs/LICENSE
rename to tools/doc/LICENSE
diff --git a/docs/README.md b/tools/doc/README.md
similarity index 100%
rename from docs/README.md
rename to tools/doc/README.md
diff --git a/docs/code_template.md.html b/tools/doc/code_template.md.html
similarity index 100%
rename from docs/code_template.md.html
rename to tools/doc/code_template.md.html
diff --git a/docs/compile_linux.sh b/tools/doc/compile_linux.sh
similarity index 100%
rename from docs/compile_linux.sh
rename to tools/doc/compile_linux.sh
diff --git a/docs/index.gen.md.html b/tools/doc/index.gen.md.html
similarity index 100%
rename from docs/index.gen.md.html
rename to tools/doc/index.gen.md.html
diff --git a/docs/index.md.html b/tools/doc/index.md.html
similarity index 100%
rename from docs/index.md.html
rename to tools/doc/index.md.html
diff --git a/docs/index_template.md.html b/tools/doc/index_template.md.html
similarity index 100%
rename from docs/index_template.md.html
rename to tools/doc/index_template.md.html
diff --git a/docs/main.cpp b/tools/doc/main.cpp
similarity index 100%
rename from docs/main.cpp
rename to tools/doc/main.cpp
diff --git a/docs/markdeep.min.js b/tools/doc/markdeep.min.js
similarity index 100%
rename from docs/markdeep.min.js
rename to tools/doc/markdeep.min.js
diff --git a/docs/slate.css b/tools/doc/slate.css
similarity index 100%
rename from docs/slate.css
rename to tools/doc/slate.css