From c3af60bbfd79db269f9c21f01154dd5bc6315984 Mon Sep 17 00:00:00 2001 From: Marc Beninca Date: Sun, 25 Aug 2019 22:15:03 +0200 Subject: [PATCH] build.py --- build.py | 34 ++++++++++++++++++++++++++++++++++ make.py | 34 ---------------------------------- 2 files changed, 34 insertions(+), 34 deletions(-) create mode 100755 build.py delete mode 100755 make.py diff --git a/build.py b/build.py new file mode 100755 index 0000000..bbed438 --- /dev/null +++ b/build.py @@ -0,0 +1,34 @@ +#! /usr/bin/python3 -B + +import os +import shutil + +import sphinx + +INPUT = ["docs"] +OUTPUT = "out" + + +def main(): + file = os.path.realpath(__file__) + directory = os.path.dirname(file) + output_directory = os.path.join(directory, OUTPUT) + shutil.rmtree(output_directory, ignore_errors=True) + for doc in INPUT: + arguments = [ + "-E", + "-j", "2", + "-b", "html", + "-D", "project={}".format(doc), + "-D", "master_doc={}".format("index"), + "-D", "html_theme={}".format("sphinx_rtd_theme"), + # "-C", + "-c", directory, + os.path.join(directory, doc), + os.path.join(output_directory, doc), + ] + sphinx.build_main(arguments) + + +if __name__ == "__main__": + main() diff --git a/make.py b/make.py deleted file mode 100755 index f91175d..0000000 --- a/make.py +++ /dev/null @@ -1,34 +0,0 @@ -#! /usr/bin/python3 -B - -import os -import shutil -import subprocess - -FORMATS = { - "html": "docs", - "latex": "doc", -} -INPUT = "in" -OUTPUT = "out" - - -def run(*arguments): - return subprocess.call(arguments) - - -def main(): - script_file = os.path.realpath(__file__) - project_directory = os.path.dirname(script_file) - os.chdir(project_directory) - shutil.rmtree(OUTPUT, ignore_errors=True) - for f, name in reversed(sorted(FORMATS.items())): - run("sphinx-build", - "-b", f, - "-c", os.curdir, - "-j", "2", - "-D", "latex_paper_size=a4", - INPUT, os.path.join(OUTPUT, name)) - - -if __name__ == "__main__": - main()