diff --git a/doc/manuals/full_rm.html b/doc/manuals/full_rm.html
new file mode 100644
index 000000000..4aa728899
--- /dev/null
+++ b/doc/manuals/full_rm.html
@@ -0,0 +1,8 @@
+
+
+
+
+
+
+
+
diff --git a/doc/manuals/hal.html b/doc/manuals/hal.html
new file mode 100644
index 000000000..8e47d0e4a
--- /dev/null
+++ b/doc/manuals/hal.html
@@ -0,0 +1,8 @@
+
+
+
+
+
+
+
+
diff --git a/doc/manuals/nil.html b/doc/manuals/nil.html
new file mode 100644
index 000000000..1c0c679b0
--- /dev/null
+++ b/doc/manuals/nil.html
@@ -0,0 +1,8 @@
+
+
+
+
+
+
+
+
diff --git a/doc/manuals/rt.html b/doc/manuals/rt.html
new file mode 100644
index 000000000..6f7088f16
--- /dev/null
+++ b/doc/manuals/rt.html
@@ -0,0 +1,8 @@
+
+
+
+
+
+
+
+