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