diff options
author | Batuhan Taskaya <isidentical@gmail.com> | 2022-05-16 18:19:49 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-16 18:19:49 +0300 |
commit | d9e1dc08c9b4eb0d6021360118daca87fa248400 (patch) | |
tree | 9bd968792fb2cf11a20fc917abd34b202067d67c | |
parent | 3b734fb0bcf82801958e2a62d193814a2adb825b (diff) |
Package man pages into the deb packages as well. (#1403)
-rw-r--r-- | extras/packaging/linux/build.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/extras/packaging/linux/build.py b/extras/packaging/linux/build.py index 5dc2e611..9f021369 100644 --- a/extras/packaging/linux/build.py +++ b/extras/packaging/linux/build.py @@ -6,6 +6,9 @@ from typing import Iterator, Tuple BUILD_DIR = Path(__file__).parent HTTPIE_DIR = BUILD_DIR.parent.parent.parent +EXTRAS_DIR = HTTPIE_DIR / 'extras' +MAN_PAGES_DIR = EXTRAS_DIR / 'man' + SCRIPT_DIR = BUILD_DIR / Path('scripts') HOOKS_DIR = SCRIPT_DIR / 'hooks' @@ -50,6 +53,11 @@ def build_packages(http_binary: Path, httpie_binary: Path) -> None: (http_binary, '/usr/bin/https'), (httpie_binary, '/usr/bin/httpie'), ] + files.extend( + (man_page, f'/usr/share/man/man1/{man_page.name}') + for man_page in MAN_PAGES_DIR.glob('*.1') + ) + # A list of additional dependencies deps = [ 'python3 >= 3.7', |