Eric Pouech : winhelp: Properly quit winhelp when no file are given on command line.