Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 1 of 1 for exit (0.17 sec)

  1. scripts/docs.py

        if is_mkdocs_insiders():
            print("Using insiders")
        lang_path: Path = Path("docs") / lang
        if not lang_path.is_dir():
            typer.echo(f"The language translation doesn't seem to exist yet: {lang}")
            raise typer.Abort()
        typer.echo(f"Building docs for: {lang}")
        build_site_dist_path = build_site_path / lang
        if lang == "en":
            dist_path = site_path
    Python
    - Registered: Sun May 05 07:19:11 GMT 2024
    - Last Modified: Mon Jan 22 19:26:14 GMT 2024
    - 10.9K bytes
    - Viewed (1)
Back to top