sources.py (get_basename): Do not use SAGE_LIB, recognize nodoctest marker files

Commit

1 year ago

src/sage/doctest/sources.py (get_basename): Do not use SAGE_LIB, recognize nodoctest marker files

References

Author

mkoeppe

Committer

mkoeppe

Parents