Peter Maydell writes:
> Sphinx doesn't have very good facilities for marking chunks
> of documentation as "put this in the manpage only". So instead
> we move the parts we want to put into both the HTML manuals
> and the manpage into their own .rst.inc files, which we can
> include from both th
Sphinx doesn't have very good facilities for marking chunks
of documentation as "put this in the manpage only". So instead
we move the parts we want to put into both the HTML manuals
and the manpage into their own .rst.inc files, which we can
include from both the main manual rst files and a new to
