It looks like `sphinxman` and `sphinxdoc` are only used in one place each, so inline them.