From dc2e766576a5a536682abf3168eac8e6603a6e98 Mon Sep 17 00:00:00 2001
From: Kwankyu Lee <ekwankyu@gmail.com>
Date: Wed, 10 Aug 2022 11:23:51 +0900
Subject: [PATCH] Replace lazy_import with normal import

---
 src/sage/docs/{instancedoc.pyx => instancedoc.py} | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)
 rename src/sage/docs/{instancedoc.pyx => instancedoc.py} (95%)

diff --git a/src/sage/docs/instancedoc.pyx b/src/sage/docs/instancedoc.py
similarity index 95%
rename from src/sage/docs/instancedoc.pyx
rename to src/sage/docs/instancedoc.py
index 681fbf767bd..e24368e4943 100644
--- a/src/sage/docs/instancedoc.pyx
+++ b/src/sage/docs/instancedoc.py
@@ -116,5 +116,7 @@
 #                  https://www.gnu.org/licenses/
 #*****************************************************************************
 
-from sage.misc.lazy_import import lazy_import
-lazy_import('sage.misc.instancedoc', 'instancedoc', deprecation=33763)
+from sage.misc.superseded import deprecation
+deprecation(33763, 'This module is deprecated. Use "sage.misc.instancedoc" instead.')
+
+from sage.misc.instancedoc import instancedoc