diff doc/manual/buildguide.sh @ 11:3aa0f5a02342

Remove unused variable; fix what it was supposed to be doing. (and document it a bit for the next time through here)
author David A. Holland
date Tue, 31 May 2022 00:54:12 -0400
parents bebb2ba69e1d
children
line wrap: on
line diff