patch applied (cabal): Document lots of flags and the new build-tools: field

24 Aug 2007


      Fri Aug 24 06:43:16 PDT 2007  Duncan Coutts 
  * Document lots of flags and the new build-tools: field
  Document the following options:
  --enable-library-for-ghci / --disable-library-for-ghc
  --enable-library-vanilla / --disable-library-vanilla
  --enable-split-objs / --disable-split-objs
  --jhc
  --save-configure
  --with-PROG= --PROG-args=
  --gen-pkg-config=

    M ./doc/Cabal.xml -119 +340