sudo-rsingh/kitty
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Run local build before building docs

Browse Source
This commit is contained in:
Kovid Goyal
2023-10-31 06:18:23 +05:30
parent 30b736eed7
commit 12db4683ac
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
publish.py
View File

@@ -36,8 +36,8 @@ ap = re.search(r"^appname: str\s+=\s+'([^']+)'", raw, flags=re.MULTILINE)
if ap is not None:
appname = ap.group(1)
ALL_ACTIONS = 'man html build tag sdist upload website'.split()
NIGHTLY_ACTIONS = 'man html build sdist upload_nightly'.split()
ALL_ACTIONS = 'local_build man html build tag sdist upload website'.split()
NIGHTLY_ACTIONS = 'local_build man html build sdist upload_nightly'.split()
def echo_cmd(cmd: Iterable[str]) -> None:
@@ -61,6 +61,10 @@ def call(*cmd: str, cwd: Optional[str] = None, echo: bool = False) -> None:
raise SystemExit(ret)
def run_local_build(args: Any) -> None:
call('make debug')
def run_build(args: Any) -> None:
import runpy