From 37456568751f3ae907d5fd98be3c9c6f02cfe972 Mon Sep 17 00:00:00 2001 From: simonmar Date: Tue, 12 Dec 2000 14:48:46 +0000 Subject: [PATCH] [project @ 2000-12-12 14:48:46 by simonmar] -noC has been removed --- ghc/docs/users_guide/debugging.sgml | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/ghc/docs/users_guide/debugging.sgml b/ghc/docs/users_guide/debugging.sgml index 8f0415f..fde6973 100644 --- a/ghc/docs/users_guide/debugging.sgml +++ b/ghc/docs/users_guide/debugging.sgml @@ -142,17 +142,6 @@ exec /local/grasp_tmp3/simonpj/ghc-BUILDS/working-alpha/ghc/driver/ghc \ -: - - --noC option -Don't bother generating C output or an interface file. Usually -used in conjunction with one or more of the options; for -example: ghc -noC -ddump-simpl Foo.hs - - - - : -- 1.7.10.4