Merge branch 'main' into feature/question-search

This commit is contained in:
Matthias Jung
2026-04-05 23:15:54 +02:00
committed by GitHub
8 changed files with 191 additions and 0 deletions
+5
View File
@@ -23,6 +23,7 @@ def main(
output: Annotated[str | None, typer.Option("--output", "-o", help="Destination directory to build to.")] = None,
render_editions: Annotated[bool, typer.Option(help="Skip building editions.")] = True,
render_solutions: Annotated[bool, typer.Option(help="Skip building solutions.")] = True,
build_zip: Annotated[bool, typer.Option(help="Whether to build a zip file of the output.")] = False,
) -> None:
conf = config.Config(content_path=input, build_path=output)
bd = build.Build(conf)
@@ -43,6 +44,10 @@ def main(
bd.build_assets()
bd.build_question_index()
if build_zip:
# Build zip file of output
bd.build_zip()
if __name__ == "__main__":
app()