On Wed, May 28, 2014 at 3:51 AM, Dima Pasechnik <dimp...@gmail.com> wrote:
> Is there anything short of "make distclean && make" to fix the stuck > docbuild: I have tried doing make doc-clean && make and confirm that it does not help in these cases! I know this is unhelpful but I still have this problem on my sage install. IIRC, Travis had this problem but he could have fixed this problem somehow... --Kannappan. > > 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. > -- 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.
