patch applied (cabal): Rename --prog-args to --prog-options

2 Sep 2007


      Sun Sep  2 10:06:37 PDT 2007  Duncan Coutts 
  * Rename --prog-args to --prog-options
  amd --prog-arg to --prog-arg and update the user guide.

    M ./Distribution/Simple/Setup.hs -17 +18
    M ./doc/Cabal.xml -14 +15