malcolm: Tue Mar 12 12:17:55 CET 2002 Update of /usr/src/master/nhc/src/prelude/Maybe In directory hinken:/tmp/cvs-serv7081/src/prelude/Maybe Modified Files: Makefile.inc Log Message: Revert $(PWD) to $(shell pwd). Apparently Cygwin is not keen on the former.