chiark / gitweb /
update internal variables if we see $DEVPATH during IMPORT