Change parsing of nodoctest

[roed314]

Currently Sage will refrain from doctesting a file if the string "nodoctest" is in the first 50 characters. 50 characters is pretty short, and I think it's also good to encourage people to start the line with nodoctest. So I would propose that we change "somewhere in the first 50 characters" to "one of the first 10 lines starts with '# nodocteset' or '.. nodoctest'".

Depends on #12415
Depends on #14331

Component: doctest framework

Author: David Roe, Jeroen Demeyer

Reviewer: Jeroen Demeyer, David Roe

Merged: sage-5.9.beta2

Issue created by migration from https://trac.sagemath.org/ticket/13062

[roed314]

comment:1

Attachment: 13062.patch.gz

[jdemeyer]

comment:2

I feel like this solution is overkill. Why not simply replace read(50) by read(512)? That should be enough and would probably be more effecient too.

[jdemeyer]

Changed dependencies from #12415 to #12415, #14331

[jdemeyer]

Attachment: 13062_nodoctest_review.patch.gz

[jdemeyer]

Author: David Roe, Jeroen Demeyer

[jdemeyer]

Reviewer: Jeroen Demeyer, David Roe

[roed314]

comment:5

Looks fine to me.

[jdemeyer]

Merged: sage-5.9.beta2