No, delete the output from the doctree. That is, "rm -rf doc/output". Then "sage -b && sage -docbuild reference html".
Though I didn't quite understand which file you deleted. I don't have a pushout.rst file anywhere. -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
