log make-debian-package @ 52:39895d44a287

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.