I think I mentioned this on a previous thread, but I was searching for the unescaped regular expression "..." which matches a whole bunch of things :). Whence http://trac.sagemath.org/sage_trac/ticket/14622
On Tue, May 21, 2013 at 4:19 AM, Simon King <simon.k...@uni-jena.de> wrote: > 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. > > -- 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.
