Hi! On 2013-01-18, Charles Bouillaguet <charles.bouillag...@gmail.com> wrote: > The développer manual claims that if a doctoring contains the three word > "optional", "package" and "installed", then all the doctests there are > considered optional. > > I couldn't make this work, and looking a bit closer at > $SAGE_ROOT/local/bin/sage-doctest, I couldn't find a trace of this. > > Does it actually work ?
I know for sure that it used to "work" - in fact, my doctests were considered optional althouth I did not intend it. Hence, I had to try and find different words in the documentation. But perhaps this "feature" has finally been removed? Best regards, Simon -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group, send email to sage-devel+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en.
