website/Pipfile
Andrei Jiroh Halili 2081d5fb54
ci(global): optmize build scripts and fix error on RTD side
Signed-off-by: Andrei Jiroh Halili <ajhalili2006@andreijiroh.dev>
2025-06-14 02:26:58 +08:00

26 lines
588 B
TOML

[[source]]
url = "https://pypi.org/simple"
verify_ssl = true
name = "pypi"
[packages]
mkdocs-git-revision-date-localized-plugin = "*"
mkdocs-material = "*"
mkdocs-minify-plugin = "*"
mkdocs-redirects = "*"
pillow = "*"
cairosvg = "*"
mkdocs-rss-plugin = "*"
mkdocs-git-committers-plugin-2 = "*"
mkdocs-autolinks-plugin = "*"
mkdocs-git-authors-plugin = "*"
[dev-packages]
[requires]
python_version = "3.13"
[scripts]
dev = "mkdocs serve --watch overrides --watch-theme"
build = "mkdocs build -d public --verbose"
build-staging = "pipenv run build -f mkdocs.readthedocs.yml --verbose"