log make-debian-package @ 54:40911898ed23

age author description
2020-05-05 David Barts Merged changes.
2020-05-03 David Barts Update Building instructions; minor build system bug fixes.
2020-05-01 David Barts Makes a .deb file at long last, but Duke still shows up as an icon in the dock.