wmdots: Update "make install" to support prefix/DESTDIR variables
commit73931a07ba1cb7a82b1777b7b462b8d9dbf6ca79
authorTorrance, Douglas <dtorrance@piedmont.edu>
Wed, 18 Jan 2023 02:38:58 +0000 (18 02:38 +0000)
committerCarlos R. Mafra <crmafra@gmail.com>
Wed, 18 Jan 2023 09:23:22 +0000 (18 09:23 +0000)
treed4fb6234e4dc8d86c66bd2e65c17ce9370d5c048
parent348be44612064bfab72715f8fe2697222e173f62
wmdots: Update "make install" to support prefix/DESTDIR variables

Also several other variables as recommended by GNU make docs.
wmdots/Makefile