diff --git a/docs/ihk.pdf b/docs/ihk.pdf
deleted file mode 100644
index 32a7fd9a..00000000
Binary files a/docs/ihk.pdf and /dev/null differ
diff --git a/docs/spec/ihk.pdf b/docs/spec/ihk.pdf
new file mode 100644
index 00000000..2be0a569
Binary files /dev/null and b/docs/spec/ihk.pdf differ
diff --git a/docs/spec/ihk.rst b/docs/spec/ihk.rst
index ba209159..296e24bc 100644
--- a/docs/spec/ihk.rst
+++ b/docs/spec/ihk.rst
@@ -2,17 +2,6 @@
    :suffix: .
    :depth: 3
 
-External Specs
+Specifications
 ==============
-
-Overview
---------
-
-Function Specs
---------------
-
-Command / Daemon Specs
-----------------------
-
-Booting LWK
-===========
+The specifications pdf is :download:`here <ihk.pdf>`
diff --git a/docs/mckernel.pdf b/docs/spec/mckernel.pdf
similarity index 69%
rename from docs/mckernel.pdf
rename to docs/spec/mckernel.pdf
index b6bec4ce..5e0a736c 100644
Binary files a/docs/mckernel.pdf and b/docs/spec/mckernel.pdf differ
diff --git a/docs/spec/mckernel.rst b/docs/spec/mckernel.rst
index 4ffdc7ad..d6981c33 100644
--- a/docs/spec/mckernel.rst
+++ b/docs/spec/mckernel.rst
@@ -2,8 +2,6 @@
    :suffix: .
    :depth: 3
 
-Interfaces
-==========
-
-Interface details
-=================
+Specifications
+==============
+The specifications pdf is :download:`here <mckernel.pdf>`