2 Commits

Author	SHA1	Message	Date
ZHANG Yuntian	8f37a1d9c4	Allow building binary package as well	2022-11-30 17:42:22 +08:00
robertomier	0b49bebad9	chore: script to build the deb sources (#1045) ... * chore: script to build the deb sources now it includes the man files. This script makes only sense executing on the machine having the gpg key needed to sign and push to ppa * fix: dput dependency and proper configuration	2021-12-23 11:43:21 +11:00