summaryrefslogtreecommitdiff
path: root/docs/users_guide
diff options
context:
space:
mode:
authorIan Lynagh <igloo@earth.li>2006-10-03 14:58:54 +0000
committerIan Lynagh <igloo@earth.li>2006-10-03 14:58:54 +0000
commit2ab65c00417e668f8a2a3f98fde51448dda83d6e (patch)
tree9232bd1784432f4dec06a266763879ed027b7149 /docs/users_guide
parentea283aa74e6fd2bec2b88eae19908bba903adea1 (diff)
downloadhaskell-2ab65c00417e668f8a2a3f98fde51448dda83d6e.tar.gz
Remove unused option -femit-extern-decls
Diffstat (limited to 'docs/users_guide')
-rw-r--r--docs/users_guide/flags.xml6
1 files changed, 0 insertions, 6 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 9d7aa20753..1fd054c332 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -1778,12 +1778,6 @@
</thead>
<tbody>
<row>
- <entry><option>-femit-extern-decls</option></entry>
- <entry>???</entry>
- <entry>static</entry>
- <entry>-</entry>
- </row>
- <row>
<entry><option>-fno-hi-version-check</option></entry>
<entry>Don't complain about <literal>.hi</literal> file mismatches</entry>
<entry>static</entry>