[0/2] docs: Improve coverage docs

Message

Andrew Cooper April 3, 2019, 2:59 p.m. UTC

This was identified IRL at the safety summit, so I took the opportunity to
improve things.

The result of this series, and some other in-development bits, can be found
at:

  https://andrewcoop-xen.readthedocs.io/en/docs-devel/index.html

Andrew Cooper (2):
  docs/sphinx: Introduce a hypervisor guide section
  docs/hypervisor-guide: Code Coverage

 docs/hypervisor-guide/code-coverage.rst | 102 ++++++++++++++++++++++++++
 docs/hypervisor-guide/index.rst         |   7 ++
 docs/index.rst                          |  18 +++++
 docs/misc/coverage.pandoc               | 124 --------------------------------
 4 files changed, 127 insertions(+), 124 deletions(-)
 create mode 100644 docs/hypervisor-guide/code-coverage.rst
 create mode 100644 docs/hypervisor-guide/index.rst
 delete mode 100644 docs/misc/coverage.pandoc