From ceb5840878cd876f8425293fa3c8d56e9cbf3a2e Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Sun, 22 Aug 2010 13:45:30 +0000 Subject: [PATCH] Document --supported-extensions --- docs/users_guide/flags.xml | 4 ++-- docs/users_guide/glasgow_exts.xml | 2 +- docs/users_guide/using.xml | 3 ++- 3 files changed, 5 insertions(+), 4 deletions(-) diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index cb3700c..2428ea8 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -60,8 +60,8 @@ - - - display the supported language extensions + or + display the supported languages and language extensions mode - diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 9fea7a4..d156de8 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -7495,7 +7495,7 @@ Assertion failures can be caught, see the documentation for the A list of all supported language extensions can be obtained by invoking - ghc --supported-languages (see ). + ghc --supported-extensions (see ). Any extension from the Extension type defined in + ghc --supported-extensions ghc --supported-languages - + Print the supported language extensions. -- 1.7.10.4