1 files changed, 0 insertions, 38 deletions
diff --git a/sphinx/builders/devhelp.py b/sphinx/builders/devhelp.py
deleted file mode 100644
index dda7c411f..000000000
--- a/sphinx/builders/devhelp.py
+++ /dev/null
@@ -1,38 +0,0 @@
-"""
-    sphinx.builders.devhelp
-    ~~~~~~~~~~~~~~~~~~~~~~~
-
-    Build HTML documentation and Devhelp_ support files.
-
-    .. _Devhelp: https://wiki.gnome.org/Apps/Devhelp
-
-    :copyright: Copyright 2007-2020 by the Sphinx team, see AUTHORS.
-    :license: BSD, see LICENSE for details.
-"""
-
-import warnings
-from typing import Any, Dict
-
-from sphinxcontrib.devhelp import DevhelpBuilder
-
-from sphinx.application import Sphinx
-from sphinx.deprecation import RemovedInSphinx40Warning, deprecated_alias
-
-
-deprecated_alias('sphinx.builders.devhelp',
-                 {
-                     'DevhelpBuilder': DevhelpBuilder,
-                 },
-                 RemovedInSphinx40Warning)
-
-
-def setup(app: Sphinx) -> Dict[str, Any]:
-    warnings.warn('sphinx.builders.devhelp has been moved to sphinxcontrib-devhelp.',
-                  RemovedInSphinx40Warning)
-    app.setup_extension('sphinxcontrib.devhelp')
-
-    return {
-        'version': 'builtin',
-        'parallel_read_safe': True,
-        'parallel_write_safe': True,
-    }