From 3ed398ca9a25e3dbe783128c6227cbaa44c14c4a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bissey?= Date: Thu, 2 Apr 2020 14:53:53 +1300 Subject: [PATCH] replace .nodoctest with nodoctest --- src/sage/doctest/control.py | 2 +- src/sage/doctest/tests/{.nodoctest => nodoctest} | 0 src/sage/ext_data/{.nodoctest => nodoctest} | 0 3 files changed, 1 insertion(+), 1 deletion(-) rename src/sage/doctest/tests/{.nodoctest => nodoctest} (100%) rename src/sage/ext_data/{.nodoctest => nodoctest} (100%) diff --git a/src/sage/doctest/control.py b/src/sage/doctest/control.py index 7b722809b5a..57e1d3f2c16 100644 --- a/src/sage/doctest/control.py +++ b/src/sage/doctest/control.py @@ -191,7 +191,7 @@ def skipdir(dirname): sage: skipdir(os.path.join(sage.env.SAGE_SRC, "sage", "doctest", "tests")) True """ - if os.path.exists(os.path.join(dirname, "nodoctest.py")) or os.path.exists(os.path.join(dirname, ".nodoctest")): + if os.path.exists(os.path.join(dirname, "nodoctest.py")) or os.path.exists(os.path.join(dirname, "nodoctest")): return True return False diff --git a/src/sage/doctest/tests/.nodoctest b/src/sage/doctest/tests/nodoctest similarity index 100% rename from src/sage/doctest/tests/.nodoctest rename to src/sage/doctest/tests/nodoctest diff --git a/src/sage/ext_data/.nodoctest b/src/sage/ext_data/nodoctest similarity index 100% rename from src/sage/ext_data/.nodoctest rename to src/sage/ext_data/nodoctest