From 1edc287a8817e76b6895a42c08dc4ab3ca162fac Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Sun, 14 Nov 2010 17:33:32 +0000 Subject: [PATCH] Remove -Ofile docs They said: (NOTE: not supported since GHC 4.x. Please ask if you're interested in this.) --- docs/users_guide/using.xml | 25 ------------------------- 1 file changed, 25 deletions(-) diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index 9d7875a..be82322 100644 --- a/docs/users_guide/using.xml +++ b/docs/users_guide/using.xml @@ -1631,31 +1631,6 @@ f "2" = 2 . - - - - : - -Ofile <file> option - optimising, customised - - - (NOTE: not supported since GHC 4.x. Please ask if - you're interested in this.) - - For those who need absolute - control over exactly what options are - used (e.g., compiler writers, sometimes :-), a list of - options can be put in a file and then slurped in with - . - - In that file, comments are of the - #-to-end-of-line variety; blank - lines and most whitespace is ignored. - - Please ask if you are baffled and would like an - example of ! - - We don't use a flag for day-to-day -- 1.7.10.4