From 851afaab00a47f1469cb5819b4a26ea52bad988b Mon Sep 17 00:00:00 2001
From: ROUVREAU Vincent <vincent.rouvreau@inria.fr>
Date: Thu, 28 May 2020 08:34:33 +0200
Subject: sphinx-build workaround differently

---
 src/python/doc/python3-sphinx-build.py | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100755 src/python/doc/python3-sphinx-build.py

(limited to 'src/python')

diff --git a/src/python/doc/python3-sphinx-build.py b/src/python/doc/python3-sphinx-build.py
deleted file mode 100755
index 84d158cf..00000000
--- a/src/python/doc/python3-sphinx-build.py
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/usr/bin/env python3
-
-"""
-Emulate sphinx-build for python3
-"""
-
-from sys import exit, argv
-from sphinx import main
-
-if __name__ == '__main__':
-    exit(main(argv))
-- 
cgit v1.2.3