Hi! I am wondering about the behaviour of two plugins.
The first is plugins.doctest_continuation. It complains about lines such as the following: + action = self.discover_action(R, sageS, op, r=r)$ This not even is part of a doc string, and it does not even contain continuation by the (old) "...". In the same stile, it complains about +Old-style doctest continuation inserted on 108 non-empty lines But only in 9 (!) of the 108 lines appears a continuation by '...'. The second is plugins.docbuild. +make doc +make: Nothing to be done for `doc'. +grep: logs/dochtml.log: No such file or directory +Traceback (most recent call last): + File "/mnt/storage2TB/patchbot/Sage/sage-5.10.beta3/local/bin/patchbot/patchbot.py", line 482, in test_a_ticket + res = plugin(ticket, is_get=self.is_git, baseline=baseline, **kwds) + File "/mnt/storage2TB/patchbot/Sage/sage-5.10.beta3/local/bin/patchbot/plugins.py", line 110, in docbuild + raise ValueError +ValueError +plugins.docbuild -- 0 seconds Am I right that this pretty much seems a problem that is not caused by the patch? Best regards, Simon -- 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?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
