build/shrink

This commit is contained in:
Marc Beninca 2024-03-03 22:56:09 +01:00
parent 51c05d61d0
commit 86fb8749e3
Signed by untrusted user who does not match committer: marc.beninca
GPG key ID: 9C7613450C80C24F

View file

@ -1,37 +1,7 @@
#! /usr/bin/python3 -B
import os
import shutil
import sphinx.cmd.build
#! /usr/bin/env -S python3 -B
from rwx.prj.sphinx import SphinxProject
INPUT = ["rtfd"]
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.cmd.build.build_main(arguments)
if __name__ == "__main__":
project = SphinxProject(__file__)
project.build()
SphinxProject(__file__).build()