1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-05-14 06:14:58 +00:00
serenity/Ports/indent/package.sh
2021-01-22 17:44:05 +01:00

16 lines
567 B
Bash
Executable file

#!/usr/bin/env -S bash ../.port_include.sh
port=indent
version=2.2.11
files="https://ftp.gnu.org/gnu/indent/indent-${version}.tar.gz indent-${version}.tar.gz
https://ftp.gnu.org/gnu/indent/indent-${version}.tar.gz.sig indent-${version}.tar.gz.sig
https://ftp.gnu.org/gnu/gnu-keyring.gpg gnu-keyring.gpg"
useconfigure=true
auth_type="sig"
auth_opts="--keyring ./gnu-keyring.gpg indent-${version}.tar.gz.sig"
man_dir=$SERENITY_ROOT/Build/Root/usr/local/share/man/man1/
post_install() {
mkdir -p "${man_dir}"
cp "indent-${version}/man/indent.1" "${man_dir}"
}