simonmar 2001/08/13 09:34:04 PDT Modified files: ghc/docs/users_guide flags.sgml Log: Update to match the rest of the docs. Revision Changes Path 1.9 +29 -10 fptools/ghc/docs/users_guide/flags.sgml