debian packaging updates plus fix two typos #325

Closed
barak wants to merge 10 commits from master into master

10 Commits

Author SHA1 Message Date
Barak A. Pearlmutter cdaa020a42 Merge branch 'tweaks' 2016-12-18 22:58:21 +00:00
Barak A. Pearlmutter bf87f90d06 local patch dpkg source option 2016-12-18 22:57:27 +00:00
Barak A. Pearlmutter 2af487a01e log changes 2016-12-18 22:57:27 +00:00
Barak A. Pearlmutter 63c7c6e222 revert to creating Debian man page automatically with help2man 2016-12-18 22:57:27 +00:00
Barak A. Pearlmutter 3e8b259546 log changes 2016-12-18 22:57:27 +00:00
Barak A. Pearlmutter ce0af12e16 in debian, generate (via help2man) and install cool-retro-term(1) 2016-12-18 22:57:27 +00:00
Barak A. Pearlmutter 1b1fc2422b add debian alternative for cool-retro-term x-terminal-emulator 2016-12-18 22:57:27 +00:00
Barak A. Pearlmutter 20c691e09f harden 2016-12-18 22:57:27 +00:00
Barak A. Pearlmutter 7268d65717 parallel debian build 2016-12-18 22:57:27 +00:00
Barak A. Pearlmutter fbfb177315 bump debian standards version 2016-12-18 22:57:27 +00:00