make "make check" & friends doctest the documentation too

[sagetrac-mabshoff]

Right now the various make check targets do not test the documentation. Fix that.

Patch coming up.

Cheers,

Michael

Component: doctest coverage

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

[sagetrac-mabshoff]

comment:2

Note that this patch is a traditional patch since the file in question is not under version control.

Cheers,

Michael

[sagetrac-mabshoff]

Attachment: trac_5702.patch.gz

[craigcitro]

comment:3

Looks good -- these are the same paths occurring in sage/local/bin/sage-maketest, which gives me a lot of confidence.

[sagetrac-mabshoff]

comment:4

Merged in Sage 3.4.1.rc3.

Cheers,

Michael