[docs] Misc improvements

Closes #4987, Closes #4906, Closes #4919, Closes #4977, Closes #4979
This commit is contained in:
pukkandan 2022-09-22 01:37:44 +05:30
parent 8ca48a1a54
commit 2fa669f759
No known key found for this signature in database
GPG key ID: 7EEE9E1E817D0A39
11 changed files with 44 additions and 34 deletions

View file

@ -2,8 +2,8 @@
# Allow direct execution
import os
import sys
import shutil
import sys
sys.path.insert(0, os.path.dirname(os.path.dirname(os.path.abspath(__file__))))