sage-doc: SAGE_DOC_SRC continues