Karl Berry Sat, 14 Nov 2020 14:13:25 -0800
@echo "set objdir \"`pwd`\"" >>site.tmp
Thanks much. I installed the change. --best, karl.