diff options
| author | sharkdp <davidpeter@web.de> | 2018-08-27 23:10:14 +0200 |
|---|---|---|
| committer | sharkdp <davidpeter@web.de> | 2018-08-27 23:10:14 +0200 |
| commit | b6c59a5bd4e0bcd611cd5e4b15082d944c153b80 (patch) | |
| tree | e7f67633b12605b952e70de4eb276905fa8b691e /ci | |
| parent | b682679776121d223300a4d6f14cfdbc81226947 (diff) | |
Add man page to releases
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/before_deploy.bash | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/ci/before_deploy.bash b/ci/before_deploy.bash index 74ed6040..ea5c1725 100755 --- a/ci/before_deploy.bash +++ b/ci/before_deploy.bash @@ -30,7 +30,8 @@ pack() { cp "target/$TARGET/release/$PROJECT_NAME" "$tempdir/$package_name/" "${gcc_prefix}"strip "$tempdir/$package_name/$PROJECT_NAME" - # readme and license + # manpage, readme and license + cp "doc/$PROJECT_NAME.1" "$tempdir/$package_name" cp README.md "$tempdir/$package_name" cp LICENSE-MIT "$tempdir/$package_name" cp LICENSE-APACHE "$tempdir/$package_name" @@ -76,6 +77,10 @@ make_deb() { install -Dm755 "target/$TARGET/release/$PROJECT_NAME" "$tempdir/usr/bin/$PROJECT_NAME" strip "$tempdir/usr/bin/$PROJECT_NAME" + # manpage + install -Dm644 "doc/$PROJECT_NAME.1" "$tempdir/usr/share/man/man1/$PROJECT_NAME.1" + gzip --best "$tempdir/usr/share/man/man1/$PROJECT_NAME.1" + # readme and license install -Dm644 README.md "$tempdir/usr/share/doc/$PROJECT_NAME/README.md" install -Dm644 LICENSE-MIT "$tempdir/usr/share/doc/$PROJECT_NAME/LICENSE-MIT" @@ -93,6 +98,7 @@ Architecture: $architecture Provides: $PROJECT_NAME Conflicts: $conflictname Description: A cat(1) clone with wings. + A cat(1) clone with syntax highlighting and Git integration. EOF fakeroot dpkg-deb --build "$tempdir" "${dpkgname}_${version}_${architecture}.deb" |