summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--TAO/docs/compiler.html8
1 files changed, 0 insertions, 8 deletions
diff --git a/TAO/docs/compiler.html b/TAO/docs/compiler.html
index 424376d6474..181857e54b5 100644
--- a/TAO/docs/compiler.html
+++ b/TAO/docs/compiler.html
@@ -504,14 +504,6 @@ also receives other options that are specific to it. <P>
<td>&nbsp;</td>
</tr>
- <tr><a name="Gi">
- <td><tt>-Gi</tt></td>
-
- <td>Generate stubs and skeletons using interpretive marshaling (default
- for now)&nbsp;</td>
- <td>&nbsp;</td>
- </tr>
-
<tr><a name="Ge flag">
<td><tt>-Ge </tt><i>flag</i></td>