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