Use the pseudoxml builder in Sphinx