File make-doc.patch of Package gprbuild

--- doc/share/conf.py.orig	2021-09-28 07:56:50.000000000 +0300
+++ doc/share/conf.py	2021-11-25 11:09:29.563510805 +0200
@@ -8,6 +8,8 @@
 import re
 
 sys.path.append('.')
+root_source_dir = os.path.dirname(os.path.dirname(os.path.abspath(__file__)))
+sys.path.append(os.path.join(root_source_dir,'share'))
 
 import ada_pygments
 import latex_elements