docs: copy license in conf.py instead of build_docs.py

roynil · Apr 23, 2023 · 5fa55f2 · 5fa55f2
1 parent 3f9c551
commit 5fa55f2
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -4,12 +4,15 @@
 from os import environ
 from os.path import abspath
 from pathlib import Path
+from shutil import copyfile
 
 
 ROOT = Path(__file__).resolve().parent
 
 sys_path.insert(0, abspath("."))
 
+copyfile(str(ROOT.parent / "LICENSE.rst"), str(ROOT / "license.rst"))
+
 # -- Generate examples.inc ----------------------------------------------------
 
 from examples import examples

diff --git a/tools/build_docs.py b/tools/build_docs.py
@@ -12,9 +12,7 @@
 
 from subprocess import check_call
 from pathlib import Path
-import sys
-from sys import argv
-from shutil import copyfile
+from sys import argv, executable
 from create_release_notes import create_release_notes
 
 
@@ -26,10 +24,9 @@ def main():
     Build documentation/website
     """
     create_release_notes()
-    copyfile(str(ROOT / 'LICENSE.rst'), str(ROOT / 'docs/license.rst'))
     check_call(
         [
-            sys.executable,
+            executable,
             "-m",
             "sphinx"
         ] + ([] if len(argv) < 2 else argv[2:]) + [