1 files changed, 0 insertions, 15 deletions
diff --git a/doc/sphinx-build3 b/doc/sphinx-build3
deleted file mode 100755
index 590fd5266..000000000
--- a/doc/sphinx-build3
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/usr/bin/python3
-# -*- coding: utf-8 -*-
-"""
-Same as /usr/bin/sphinx-build but with different
-interpreter
-"""
-
-import sys
-
-if __name__ == '__main__':
-    from sphinx import main, make_main
-    if sys.argv[1:2] == ['-M']:
-        sys.exit(make_main(sys.argv))
-    else:
-        sys.exit(main(sys.argv))
-\ No newline at end of file