From 7c3d9bb376c9c5983715ab601ffb5168330e1edc Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Fri, 27 May 2022 15:35:01 +0800
Subject: [PATCH] doc: remove unnecessary builtins.__in_sphinx__ hack

---
 doc/manual/conf.py | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/doc/manual/conf.py b/doc/manual/conf.py
index 61680750c..d8278d61b 100644
--- a/doc/manual/conf.py
+++ b/doc/manual/conf.py
@@ -20,12 +20,6 @@ from unittest.mock import Mock
 import sphinx_rtd_theme
 
 
-# Ensure that ARTIQ-Python types are correctly printed
-# See: https://github.com/m-labs/artiq/issues/741
-import builtins
-builtins.__in_sphinx__ = True
-
-
 # we cannot use autodoc_mock_imports (does not help with argparse)
 mock_modules = ["artiq.gui.waitingspinnerwidget",
                 "artiq.gui.flowlayout",