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",