diff --git a/plugins/html-preview/html_preview_plugin/__init__.py b/plugins/html-preview/html_preview_plugin/__init__.py index 9d479530547487a00de523ed1d51f96a008103cc..4962266f4ac739ba930ccd9255bf816596980bfc 100644 --- a/plugins/html-preview/html_preview_plugin/__init__.py +++ b/plugins/html-preview/html_preview_plugin/__init__.py @@ -94,18 +94,6 @@ builtins.open = new_open _ = Ide.gettext -def is_sphinx_installed(): - with open(os.devnull, 'w') as devnull: - try: - if subprocess.call(['sphinx-build', '--version'], - stdout=devnull, stderr=devnull) == 0: - return True - except FileNotFoundError: - pass - - return False - - class SphinxState(): def __init__(self, builddir): self.builddir = builddir