When writing session data to stdout or stderr, switch the relevant file
[u/mdw/putty] / mkauto.sh
2005-04-25 benMove generation of the "configure" script into its...