diff options
Diffstat (limited to 'docs/users_guide/flags.xml')
| -rw-r--r-- | docs/users_guide/flags.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index eaa622596f..b0dbfb1f94 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -60,6 +60,12 @@ <entry>-</entry> </row> <row> + <entry><option>––supported-languages</option></entry> + <entry>display the supported language extensions</entry> + <entry>mode</entry> + <entry>-</entry> + </row> + <row> <entry><option>––version</option></entry> <entry>display GHC version</entry> <entry>mode</entry> |