Bring generated makefiles up to date with Sphinx 1.2