Add dotprint to Sphinx

We really need separate printing files for these things, but for now, it is
the only one, so I didn't bother.