Loading debian/changelog +7 −0 Original line number Diff line number Diff line bbmap (38.43+dfsg-2) UNRELEASED; urgency=medium * Fix override_sh_installman Closes: #935783 -- Andreas Tille <tille@debian.org> Mon, 26 Aug 2019 11:38:52 +0200 bbmap (38.43+dfsg-1) experimental; urgency=medium * Initial release (Closes: #925875) Loading debian/rules +1 −5 Original line number Diff line number Diff line Loading @@ -41,11 +41,7 @@ override_dh_fixperms: chmod +x $(PKGSHAREDIR)/* override_dh_installman: dh_installman mkdir -p debian/$(DEB_SOURCE)/usr/share/man/man1/ mv debian/$(DEB_SOURCE)/usr/share/man/sh/man1/* debian/$(DEB_SOURCE)/usr/share/man/man1/ rename 's/\.1$$/.sh.1/' debian/$(DEB_SOURCE)/usr/share/man/man1/*.1 rm -rf debian/$(DEB_SOURCE)/usr/share/man/sh dh_installman --language=C override_dh_installdocs: dh_installdocs Loading Loading
debian/changelog +7 −0 Original line number Diff line number Diff line bbmap (38.43+dfsg-2) UNRELEASED; urgency=medium * Fix override_sh_installman Closes: #935783 -- Andreas Tille <tille@debian.org> Mon, 26 Aug 2019 11:38:52 +0200 bbmap (38.43+dfsg-1) experimental; urgency=medium * Initial release (Closes: #925875) Loading
debian/rules +1 −5 Original line number Diff line number Diff line Loading @@ -41,11 +41,7 @@ override_dh_fixperms: chmod +x $(PKGSHAREDIR)/* override_dh_installman: dh_installman mkdir -p debian/$(DEB_SOURCE)/usr/share/man/man1/ mv debian/$(DEB_SOURCE)/usr/share/man/sh/man1/* debian/$(DEB_SOURCE)/usr/share/man/man1/ rename 's/\.1$$/.sh.1/' debian/$(DEB_SOURCE)/usr/share/man/man1/*.1 rm -rf debian/$(DEB_SOURCE)/usr/share/man/sh dh_installman --language=C override_dh_installdocs: dh_installdocs Loading