various updates
[~bandali/bndl.org] / GNUmakefile
2020-07-17 Amin Bandalivarious updates