Implement refreshing the whole dialogue box with dlg_refresh, so that

[u/mdw/putty] / mac / mkputty.mpw

# $Id$\r\rSet makefile Makefile.mpw\r\r#	Run Make, then execute its output.\r\rEcho "# `Date -t` ----- Analyzing dependencies."\rBegin\r	Echo "Set Echo 1"\r	Make {"Parameters"} -f "{makefile}"\rEnd > make.out\rEcho "# `Date -t` ----- Executing build commands."\rmake.out\rDelete make.out\rEcho "# `Date -t` ----- Done."\r