log make-debian-package @ 57:94cd2d486adc

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.