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 [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
