From ca2ddbb8de5173c21280dc7f12573ea52b33e127 Mon Sep 17 00:00:00 2001 From: Abraham Toriz Date: Mon, 31 Oct 2022 01:04:42 -0600 Subject: [PATCH] add man page to deb package --- debpackage.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/debpackage.sh b/debpackage.sh index 5bb2a99..26bfcab 100755 --- a/debpackage.sh +++ b/debpackage.sh @@ -39,7 +39,8 @@ install -Dm755 "target/release/$PROJECT_BINARY" "${DPKG_DIR}/usr/bin/$PROJECT_BI # README and LICENSE install -Dm644 "README.md" "${DPKG_DIR}/usr/share/doc/${DPKG_BASENAME}/README.md" install -Dm644 "LICENSE" "${DPKG_DIR}/usr/share/doc/${DPKG_BASENAME}/LICENSE" -install -Dm644 "CHANGELOG.md" "${DPKG_DIR}/usr/share/doc/${DPKG_BASENAME}/changelog" +install -Dm644 "CHANGELOG.md" "${DPKG_DIR}/usr/share/doc/${DPKG_BASENAME}/CHANGELOG.md" +install -Dm644 "build/doc/man/$PROJECT_NAME.1.gz" "${DPKG_DIR}/usr/share/man/man1/$PROJECT_NAME.1.gz" gzip -n --best "${DPKG_DIR}/usr/share/doc/${DPKG_BASENAME}/changelog" cat > "${DPKG_DIR}/usr/share/doc/${DPKG_BASENAME}/copyright" <