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