Is there anything short of "make distclean && make" to fix the stuck docbuild:
By "stuck" I mean that I run make and the output (and logs/dochtml.log) getting stuck at .... [history_a] no targets are out of date. [structure] loading cross citations... looking for now-outdated files... none found [structure] no targets are out of date. while there are python processes like this: python $SAGE_ROOT/src/doc/common/builder.py --no-pdf-links all html sitting in the memory doing (almost) nothing for hours and hours. "make doc-clean" does not help. This must be a bug in sphinx, IMHO... I have seen this many times already. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
