Documents up-to-date

[doctor.git] / docs / development / manuals / index.rst

diff --git a/docs/development/manuals/index.rst b/docs/development/manuals/index.rst
deleted file mode 100644 (file)
index f705f94..0000000
--- a/docs/development/manuals/index.rst
+++ /dev/null
@@ -1,13 +0,0 @@
-.. This work is licensed under a Creative Commons Attribution 4.0 International License.
-.. http://creativecommons.org/licenses/by/4.0
-
-.. _doctor-manuals:
-
-*******
-Manuals
-*******
-
-.. toctree::
-
-.. include:: mark-host-down_manual.rst
-.. include:: get-valid-server-state.rst