[gambit-list] How reset Gambit source dir? I.e. you did tar xvfz gambc*.tar.gz; cd gambc*; ./configure args; make and now you want to configure or make from scratch, what make command to use?